The following pages link to Lazy logical semantics (Q2847789):
Displaying 7 items.
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Parametric \(\lambda \)-theories (Q930867) (← links)
- The semantics of lazy functional languages (Q1124368) (← links)
- Propositional lax logic (Q1368378) (← links)
- Lazy strong normalization (Q2851088) (← links)
- (Q4287481) (← links)
- A note on logical relations between semantics and syntax (Q4353722) (← links)