Login / Signup
Andrew M. Pitts
ORCID
Publication Activity (10 Years)
Years Active: 1987-2023
Publications (10 Years): 23
Top Topics
Denotational Semantics
Theoretical Basis
Invited Talk
Functional Programming
Top Venues
CoRR
FSCD
Log. Methods Comput. Sci.
TYPES
</>
Publications
</>