Freshml
From MaRDI portal
Software:20987
No author found.
Related Items (48)
A dependent nominal type theory ⋮ On Nominal Regular Languages with Binders ⋮ Nominal unification ⋮ Nominal rewriting ⋮ A general mathematics of names ⋮ Refined Environment Classifiers ⋮ An initial algebra approach to term rewriting systems with variable binders ⋮ Unnamed Item ⋮ Acute: High-level programming language design for distributed computation ⋮ Denotational aspects of untyped normalization by evaluation ⋮ Unnamed Item ⋮ A universe of binding and computation ⋮ Nominal syntax with atom substitutions ⋮ Programming Type-Safe Transformations Using Higher-Order Abstract Syntax ⋮ A formalisation of nominal \(\alpha\)-equivalence with A, C, and AC function symbols ⋮ The locally nameless representation ⋮ Programs Using Syntax with First-Class Binders ⋮ Freshness and Name-Restriction in Sets of Traces with Names ⋮ The First-Order Nominal Link ⋮ Validating Brouwer's continuity principle for numbers using named exceptions ⋮ A polynomial nominal unification algorithm ⋮ Binding operators for nominal sets ⋮ A formalisation of nominal \(\alpha\)-equivalence with A and AC function symbols ⋮ Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax ⋮ Generalised Name Abstraction for Nominal Sets ⋮ Structural recursion with locally scoped names ⋮ Free-algebra models for the \(\pi \)-calculus ⋮ A dependent type theory with abstractable names ⋮ Proof-Relevant Logical Relations for Name Generation ⋮ Hard Life with Weak Binders ⋮ A fresh look at programming with names and binders ⋮ Binders unbound ⋮ Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus ⋮ Matching and alpha-equivalence check for nominal terms ⋮ Ott: Effective tool support for the working semanticist ⋮ Relating state-based and process-based concurrency through linear logic (full-version) ⋮ A Simple Nominal Type Theory ⋮ Incremental rebinding with name polymorphism ⋮ Unnamed Item ⋮ Formal Methods for Components and Objects ⋮ Principal Types for Nominal Theories ⋮ Mechanized metatheory revisited ⋮ Denotational Semantics with Nominal Scott Domains ⋮ Foundations of Software Science and Computation Structures ⋮ Nominal Equational Logic ⋮ Structuring Operational Semantics: Simplification and Computation ⋮ FreshML ⋮ Logic Programming
This page was built for software: Freshml