processing...
home
authors
Alex Simpson
create a passkey
account
chatqed
Coq
Agda
Lean
references
items
authors
citations
tools
unicode
settings
help
Alex Simpson
Publications
Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory. Alex Simpson. 2002.