scientific article
From MaRDI portal
Publication:4003339
zbMath0753.68026MaRDI QIDQ4003339
Publication date: 18 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Grammars and rewriting systems (68Q42) Structure of proofs (03F07) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)
Related Items (19)
Applications of type theory ⋮ Lyndon words formalized in Isabelle/HOL ⋮ Supercompilation for Martin-Lof's type theory ⋮ Probabilistic modelling, inference and learning using logical theories ⋮ Types for modules ⋮ Certifying Supercompilation for Martin-Löf’s Type Theory ⋮ Probabilistic reasoning in a classical logic ⋮ Innovations in computational type theory using Nuprl ⋮ Intuitionistic completeness of first-order logic ⋮ Realist Consequence, Epistemic Inference, Computational Correctness ⋮ Folding left and right matters: Direct style, accumulators, and continuations ⋮ A constructive approach to state description semantics ⋮ A mechanized proof of the basic perturbation lemma ⋮ Formalizing non-interference for a simple bytecode language in Coq ⋮ Unnamed Item ⋮ Dependent Types at Work ⋮ A computer-verified monadic functional implementation of the integral ⋮ A rigorous methodology for specification and verification of business processes ⋮ Set theory for verification. I: From foundations to functions
This page was built for publication:
