Pages that link to "Item:Q2372191"
From MaRDI portal
The following pages link to Fresh logic: Proof-theory and semantics for FM and nominal techniques (Q2372191):
Displaying 7 items.
- Nominal abstraction (Q617715) (← links)
- PNL to HOL: from the logic of nominal sets to the logic of higher-order functions (Q714797) (← links)
- Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms (Q964000) (← links)
- A Simple Nominal Type Theory (Q2804939) (← links)
- Nominal Equational Logic (Q2864152) (← links)
- Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax (Q3011103) (← links)
- αCheck: A mechanized metatheory model checker (Q4593089) (← links)
