Interactive models of computation and program behavior
abstract machinescategorical modelsCurry-Howard correspondencegame semanticslinear logicproof theoryrealizability
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)
- Generation of interaktive animations of computational models
- On the relation of interaction semantics to continuations and defunctionalization
- Ordered combinatory algebras and realizability
- scientific article; zbMATH DE number 2185717 (Why is no real title available?)
- Computational Interpretations of Classical Linear Logic
- scientific article; zbMATH DE number 980418 (Why is no real title available?)
- Polymorphism and the obstinate circularity of second order logic: a victims' tale
- The parametric continuation monad
- Non-linearity as the metric completion of linearity
- On interaction, continuations and defunctionalization
- Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
- Resource modalities in tensor logic
This page was built for publication: Interactive models of computation and program behavior
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3564946)
