Polymorphism and apartness

DOI10.1305/ndjfl/1093635925zbMath0748.03012OpenAlexW2020831773MaRDI QIDQ1182690

David Charles McCarty

Publication date: 28 June 1992

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635925

zbMATH Keywords

intuitionistic model for second-order polymorphic lambda calculuslocal choiceset theoretic constructions

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Polymorphism and apartness