scientific article; zbMATH DE number 1927412
From MaRDI portal
Publication:4484329
zbMATH Open1013.68545MaRDI QIDQ4484329FDOQ4484329
Authors: Simon J. Ambler, Roy L. Crole, Alberto Momigliano 
Publication date: 12 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2410/24100013.htm
Title of this publication is not available (Why is that?)
Recommendations
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
- Two-level hybrid: a system for reasoning using higher-order abstract syntax
- scientific article; zbMATH DE number 1956525
- Reasoning with higher-order abstract syntax in a logical framework
- Higher-order abstract syntax in type theory
Cited In (13)
- A focused linear logical framework and its application to metatheory of object logics
- Formalization of metatheory of the Quipper quantum programming language in a linear logic
- Formal meta-level analysis framework for quantum programming languages
- Canonical HybridLF: extending Hybrid with dependent types
- Title not available (Why is that?)
- Mechanising \(\lambda\)-calculus using a classical first order theory of terms with permutations
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
- The representational adequacy of Hybrid
- Higher-order abstract syntax in type theory
- Title not available (Why is that?)
- Nominal techniques in Isabelle/HOL
- A hybrid encoding of Howe's method for establishing congruence of bisimilarity
- Two-level hybrid: a system for reasoning using higher-order abstract syntax
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4484329)
