Pages that link to "Item:Q5705899"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705899):
Displaying 9 items.
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- Nominal abstraction (Q617715) (← links)
- The lambda-context calculus (extended version) (Q1044184) (← links)
- Fresh logic: Proof-theory and semantics for FM and nominal techniques (Q2372191) (← links)
- A simple nominal type theory (Q2804939) (← links)
- Modelling generic judgements (Q2871857) (← links)
- (Q3609632) (← links)
- De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic (Q4972161) (← links)
- A simple sequent calculus for nominal logic (Q5739979) (← links)