Pages that link to "Item:Q4006235"
From MaRDI portal
The following pages link to Semantics of the second order lambda calculus (Q4006235):
Displaying 10 items.
- The semantics of second-order lambda calculus (Q751294) (← links)
- Kripke models and the (in)equational logic of the second-order \(\lambda\)-calculus (Q1356979) (← links)
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus (Q2368980) (← links)
- Second-order type isomorphisms through game semantics (Q2474443) (← links)
- Counterpart semantics for a second-order \(\mu\)-calculus (Q2898468) (← links)
- CPO-models for second order lambda calculus with recursive types and subtyping (Q3142273) (← links)
- One method of defining the semantics of programming language constructs in terms of lambda calculus. II (Q3706514) (← links)
- (Q3787977) (← links)
- On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa (Q5096261) (← links)
- CATEGORICAL MODEL CONSTRUCTION FOR PROVING SYNTACTIC PROPERTIES (Q5249254) (← links)