Pages that link to "Item:Q5705901"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705901):
Displaying 4 items.
- Decidability for non-standard conversions in typed lambda-calculi (Q2794668) (← links)
- Higher-Order Dynamic Pattern Unification for Dependent Types and Records (Q3007654) (← links)
- POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)
- A Partial Type Checking Algorithm for Type:Type (Q5166618) (← links)