scientific article; zbMATH DE number 7393567

zbMath1471.68066arXiv1210.2094MaRDI QIDQ4957791

Danko Ilik

Publication date: 9 September 2021

Full work available at URL: https://arxiv.org/abs/1210.2094

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Type theory (03B38)

Uses Software

• Coq

Cites Work

• Unnamed Item
• Delimited control operators prove double-negation shift
• Kripke models for classical logic
• Constructivism in mathematics. An introduction. Volume II
• Continuation-passing style models complete for intuitionistic logic
• Axioms for control operators in the CPS hierarchy
• A compiled implementation of strong reduction
• Representing Control: a Study of the CPS Transformation

This page was built for publication: