Items where authors include "Aczel, P"

Up a level
Export as [feed] Atom [feed] RSS
Jump to: Article
Number of items: 1.

Article

Gambino, N orcid.org/0000-0002-4257-3590 and Aczel, P (2006) The generalised type-theoretic interpretation of constructive set theory. Journal of Symbolic Logic, 71 (1). pp. 67-103. ISSN 0022-4812

This list was generated on Sat Apr 13 03:26:34 2024 BST.