scientific article; zbMATH DE number 559219
From MaRDI portal
Publication:4289277
zbMath0791.68017MaRDI QIDQ4289277
Thierry Coquand, Björn von Sydow, Jan Smith, Bengt Nordström
Publication date: 24 May 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)
Related Items (4)
Optimized encodings of fragments of type theory in first order logic ⋮ Primitive recursion for higher-order abstract syntax ⋮ Proof-search in type-theoretic languages: An introduction ⋮ The practice of logical frameworks
This page was built for publication:
