Comparing Models of the Non-Extensional Typed l-Calculus | Institute for Logic, Language and Computation

Mathematical Logic and Foundations (ML) Series (1988-1998)

ML-1993-19:: Raymond Hoofman Comparing Models of the Non-Extensional Typed l-Calculus
1.Full Text.

Back