Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Bauer, Andrej - Department of Mathematics, University of Ljubljana
Stone Duality for Skew Boolean Algebras with Intersections
Metric Spaces in Synthetic Topology Andrej Bauer
Canonical Effective Subalgebras of Classical Algebras as
On the Failure of Fixed-Point Theorems for Chain-complete Lattices
A Constructive Theory of Continuous Domains Suitable for Implementation
Implementing real numbers with RZ Andrej Bauer Iztok Kavkler
RZ: a Tool for Bringing Constructive and Computable Mathematics
RZ: a Tool for Bringing Constructive and Computable Mathematics
An injection from NN Andrej Bauer
On the Bourbaki-Witt Principle in Toposes Andrej Bauer
Programming with Algebraic Effects and Handlers
