Pages that link to "Item:Q3553919"
From MaRDI portal
The following pages link to A Nominal Axiomatization of the Lambda Calculus (Q3553919):
Displaying 21 items.
- Nominal lambda calculus: an internal language for FM-Cartesian closed categories (Q265798) (← links)
- Unity in nominal equational reasoning: the algebra of equality on nominal sets (Q420858) (← links)
- PNL to HOL: from the logic of nominal sets to the logic of higher-order functions (Q714797) (← links)
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
- External and internal syntax of the \(\lambda \)-calculus (Q968531) (← links)
- The lambda-context calculus (extended version) (Q1044184) (← links)
- A formalised first-order confluence proof for the \(\lambda\)-calculus using one-sorted variable names. (Q1401936) (← links)
- A formalisation of nominal \(\alpha\)-equivalence with A and AC function symbols (Q1744440) (← links)
- Formal metatheory of the lambda calculus using Stoughton's substitution (Q2358702) (← links)
- Perpetuality in a named lambda calculus with explicit substitutions (Q2713353) (← links)
- Nonmodularity results for lambda calculus (Q2729668) (← links)
- Nominal coalgebraic data types with applications to lambda calculus (Q2871472) (← links)
- Nominal reasoning techniques in Coq (extended abstract) (Q2871861) (← links)
- (Q3086783) (← links)
- Principal Types for Nominal Theories (Q3088280) (← links)
- Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables (Q3094165) (← links)
- (Q3609632) (← links)
- Axioms for the Theory of Lambda-Conversion (Q3714048) (← links)
- Axiomatic rewriting theory II: the -calculus enjoys finite normalisation cones (Q4500179) (← links)
- (Q4972733) (← links)
- Coverability Synthesis in Parametric Petri Nets (Q5111622) (← links)
