The following pages link to (Q3827990):
Displayed 7 items.
- A characterization of lambda definability in categorical models of implicit polymorphism (Q673121) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- Embedding of a free cartesian-closed category into the category of sets (Q1380064) (← links)
- Linear Läuchli semantics (Q1919529) (← links)
- Covert Movement in Logical Grammar (Q3013021) (← links)
- Kripke Semantics for Martin-Löf’s Extensional Type Theory (Q3637199) (← links)
- (Q3986951) (← links)