Instance reducibility and Weihrauch degrees von Bauer, Andrej

Volltext

An Effect System for Algebraic Effects and Handlers von Bauer, Andrej, Pretnar, Matija

Volltext

An extensible equality checking algorithm for dependent type theories von Bauer, Andrej, Komel, Anja Petković

Volltext

Every metric space is separable in function realizability von Andrej Bauer, Andrew Swan

Volltext

Programming with algebraic effects and handlers von Bauer, Andrej, Pretnar, Matija

Volltext

An injection from the Baire space to natural numbers von BAUER, ANDREJ

Volltext

On the failure of fixed-point theorems for chain-complete lattices in the effective topos von Bauer, Andrej

Volltext

Finitary Type Theories With and Without Contexts von Haselwarter, Philipp G., Bauer, Andrej

Volltext

Mathematics of the Transcendental—A Book Review by Andrej Bauer von Bauer, Andrej

Volltext

The Passing of Marko Petkovšek von Bauer, Andrej, Klavžar, Sandi

Volltext

Five stages of accepting constructive mathematics von Bauer, Andrej

Volltext

The HoTT Library: A formalization of homotopy type theory in Coq von Bauer, Andrej, Gross, Jason, LeFanu Lumsdaine, Peter, Shulman, Michael, Sozeau, Matthieu, Spitters, Bas

Volltext bestellen

Spreen spaces and the synthetic Kreisel-Lacombe-Shoenfield-Tseitin theorem von Bauer, Andrej

Volltext bestellen

A Relationship between Equilogical Spaces and Type Two Effectivity von Bauer, Andrej

Volltext

A global COVID-19 observatory, monitoring the pandemics through text mining and visualization von Massri, M. Besher, Costa, Joao Pita, Bauer, Andrej, Grobelnik, Marko, Brank, Janez, Stopar, Luka

Volltext

Instance reducibility and Weihrauch degrees von Bauer, Andrej

Volltext

On the Bourbaki–Witt principle in toposes von BAUER, ANDREJ, LUMSDAINE, PETER LEFANU

Volltext

Incorporating a Database of Graphs into a Proof Assistant von Bauer, Andrej, Berčič, Katja, Devillez, Gauvain, Taslak, Jure

Volltext

Comodule Representations of Second-Order Functionals von Ahman, Danel, Bauer, Andrej

Volltext bestellen

Cartesian closed categories of separable Scott domains von Bauer, Andrej, Plotkin, Gordon D., Scott, Dana S.

Volltext