Simply typed λ calculus with surjective pairing
journal contribution
posted on 1992-01-01, 00:00 authored by Richard StatmanMathematics Technical Report
History
Publisher Statement
All Rights ReservedDate
1992-01-01Usage metrics
Licence
Exports
RefWorksRefWorks
BibTeXBibTeX
Ref. managerRef. manager
EndnoteEndnote
DataCiteDataCite
NLMNLM
DCDC