Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework
From MaRDI portal
Publication:5390279
DOI10.1007/978-3-540-39993-3_16zbMath1278.03066OpenAlexW76358617MaRDI QIDQ5390279
Mark-Oliver Stehr, José Meseguer
Publication date: 1 April 2011
Published in: From Object-Orientation to Formal Methods (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-39993-3_16
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
A Rewriting Logic Approach to Type Inference ⋮ A probabilistic approximate logic for neuro-symbolic learning and reasoning ⋮ Twenty years of rewriting logic ⋮ An algebraic semantics for MOF ⋮ Programming and symbolic computation in Maude ⋮ Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description)
Uses Software
This page was built for publication: Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework
