Andrej Bauer (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

19 Steven Awodey, Andrej Bauer: Sheaf toposes for realizability. Arch. Math. Log. 47(5): 465-478 (2008)

11 Steven Awodey, Andrej Bauer: Propositions as Types. J. Log. Comput. 14(4): 447-471 (2004)

Selection of 2 from 23 records - Andrej Bauer has 12 coauthors

19		Steven Awodey, Andrej Bauer: Sheaf toposes for realizability. Arch. Math. Log. 47(5): 465-478 (2008)
11		Steven Awodey, Andrej Bauer: Propositions as Types. J. Log. Comput. 14(4): 447-471 (2004)