scientific article; zbMATH DE number 6744159
From MaRDI portal
Publication:5277845
DOI10.4230/LIPIcs.TLCA.2015.273zbMath1367.68073MaRDI QIDQ5277845
Andreas Abel, Brigitte Pientka
Publication date: 12 July 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (8)
The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey ⋮ Inductive Beluga: Programming Proofs ⋮ A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types ⋮ Unnamed Item ⋮ Semantical analysis of contextual types ⋮ LINCX: A Linear Logical Framework with First-Class Contexts ⋮ Harpoon: mechanizing metatheory interactively ⋮ A case study in programming coinductive proofs: Howe’s method
This page was built for publication:
