scientific article
From MaRDI portal
zbMath0963.68502MaRDI QIDQ2721104
Andrew M. Pitts, Murdoch James Gabbay
Publication date: 1 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Nominal logic, a first order theory of names and binding, Formal compiler construction in a logical framework, An initial algebra approach to term rewriting systems with variable binders, Nominal syntax with atom substitutions, A survey of strategies in rule-based program transformation systems, Validating Brouwer's continuity principle for numbers using named exceptions, A polynomial nominal unification algorithm, Binding operators for nominal sets, A dependent type theory with abstractable names, Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types, Matching and alpha-equivalence check for nominal terms, Relating state-based and process-based concurrency through linear logic (full-version), A Simple Nominal Type Theory, A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets, Mechanized metatheory revisited, A Survey of Rewriting Strategies in Program Transformation Systems, The lambda-context calculus (extended version), Denotational Semantics with Nominal Scott Domains, Manipulating Trees with Hidden Labels
Uses Software
