Pages that link to "Item:Q2372191"

The following pages link to Fresh logic: Proof-theory and semantics for FM and nominal techniques (Q2372191):

Displaying 15 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)
• About \({|}/{|}\)-quantifiers (Q1410543) (← links)
• Nominal logic, a first order theory of names and binding (Q1887151) (← links)
• On a monadic semantics for freshness (Q2566026) (← links)
• A simple nominal type theory (Q2804939) (← links)
• Nominal equational logic (Q2864152) (← links)
• Modelling generic judgements (Q2871857) (← links)
• Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax (Q3011103) (← links)
• (Q3770527) (← links)
• αCheck: A mechanized metatheory model checker (Q4593089) (← links)
• Equivariant ZFA and the foundations of nominal techniques (Q5112646) (← links)
• Foundations of Software Science and Computational Structures (Q5705899) (← links)
• A simple sequent calculus for nominal logic (Q5739979) (← links)