Searching for authors named "Andrej Bauer" – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
Abstract Specifications via Realizability
- …Abstract Specifications via Realizability Andrej Bauer Department of Mathematics and Physics…
- Add To MetaCart
-
A Relationship between Equilogical Spaces and Type Two Effectivity
- … transfer results between them. 1 E-mail: Andrej.Bauer@andrej.com, URL: http://andrej.com This is a…
- Cited by 6 (0 self) – Add To MetaCart
-
On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos
- …On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos Andrej…
- Add To MetaCart
-
Continuous Functionals of Dependent Types and Equilogical Spaces
- …Continuous Functionals of Dependent Types and Equilogical Spaces Andrej Bauer 1 and Lars Birkedal…
- Cited by 12 (8 self) – Add To MetaCart
-
Sheaf Toposes for Realizability
- … Andrej Bauer † Institut Mittag-Leffler The Royal Swedish Academy of Sciences April 10, 2001 Abstract We…
- Cited by 1 (1 self) – Add To MetaCart
-
Multibasic and Mixed Hypergeometric Gosper-Type Algorithms
- …-Type Algorithms ANDREJ BAUER y AND MARKO PETKOV SEK z y Department of Computer Science, Carnegie Mellon…
- Cited by 10 (0 self) – Add To MetaCart
-
Multibasic and Mixed Gosper's Algorithm
- …Multibasic and Mixed Gosper's Algorithm Andrej Bauer Department of Computer Science Carnegie…
- Cited by 1 (0 self) – Add To MetaCart
-
Propositions as [Types]
- …Propositions as [Types] Steve Awodey Andrej Bauer y Institut Mittag-Leer The Royal Swedish…
- Cited by 4 (0 self) – Add To MetaCart
-
Lecture Notes: Introduction to Categorical Logic
- …Lecture Notes: Introduction to Categorical Logic [DRAFT: March 12, 2008] Steven Awodey Andrej…
- Add To MetaCart
-
Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability
- … and to Banach-Mazur Computability Andrej Bauer ∗ Alex Simpson † December 19, 2003 Abstract We prove two…
- Cited by 3 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
