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
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
