Interactive models of computation and program behavior
proof theoryCurry-Howard correspondencegame semanticslinear logicrealizabilitycategorical modelsabstract machines
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) 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) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)
- Generation of interaktive animations of computational models
- Resource modalities in tensor logic
- Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
- scientific article; zbMATH DE number 2185717 (Why is no real title available?)
- Computational Interpretations of Classical Linear Logic
- On the relation of interaction semantics to continuations and defunctionalization
- Ordered combinatory algebras and realizability
- The parametric continuation monad
- scientific article; zbMATH DE number 980418 (Why is no real title available?)
- Polymorphism and the obstinate circularity of second order logic: a victims' tale
- Non-linearity as the metric completion of linearity
- On interaction, continuations and defunctionalization
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)
