Freshml

From MaRDI portal
Software:20987



swMATH8992MaRDI QIDQ20987


No author found.





Related Items (48)

A dependent nominal type theoryOn Nominal Regular Languages with BindersNominal unificationNominal rewritingA general mathematics of namesRefined Environment ClassifiersAn initial algebra approach to term rewriting systems with variable bindersUnnamed ItemAcute: High-level programming language design for distributed computationDenotational aspects of untyped normalization by evaluationUnnamed ItemA universe of binding and computationNominal syntax with atom substitutionsProgramming Type-Safe Transformations Using Higher-Order Abstract SyntaxA formalisation of nominal \(\alpha\)-equivalence with A, C, and AC function symbolsThe locally nameless representationPrograms Using Syntax with First-Class BindersFreshness and Name-Restriction in Sets of Traces with NamesThe First-Order Nominal LinkValidating Brouwer's continuity principle for numbers using named exceptionsA polynomial nominal unification algorithmBinding operators for nominal setsA formalisation of nominal \(\alpha\)-equivalence with A and AC function symbolsFoundations of Nominal Techniques: Logic and Semantics of Variables in Abstract SyntaxGeneralised Name Abstraction for Nominal SetsStructural recursion with locally scoped namesFree-algebra models for the \(\pi \)-calculusA dependent type theory with abstractable namesProof-Relevant Logical Relations for Name GenerationHard Life with Weak BindersA fresh look at programming with names and bindersBinders unboundCurry-Style Explicit Substitutions for the Linear and Affine Lambda CalculusMatching and alpha-equivalence check for nominal termsOtt: Effective tool support for the working semanticistRelating state-based and process-based concurrency through linear logic (full-version)A Simple Nominal Type TheoryIncremental rebinding with name polymorphismUnnamed ItemFormal Methods for Components and ObjectsPrincipal Types for Nominal TheoriesMechanized metatheory revisitedDenotational Semantics with Nominal Scott DomainsFoundations of Software Science and Computation StructuresNominal Equational LogicStructuring Operational Semantics: Simplification and ComputationFreshMLLogic Programming


This page was built for software: Freshml