Items where authors include "Aczel, P"

[up] Up a level
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 Tue Apr 1 09:58:40 2025 BST.