Pages that link to "Item:Q1155952"
From MaRDI portal
The following pages link to The congruence of two programming language definitions (Q1155952):
Displaying 3 items.
- Fully abstract submodels of typed lambda calculi (Q1095880) (← links)
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency (Q1107303) (← links)
- The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving (Q4645809) (← links)
