Realizability Toposes from Specifications

From MaRDI portal

Publication:5277840

Jump to:navigation, search

DOI10.4230/LIPICS.TLCA.2015.196zbMath1367.68100arXiv1504.06565OpenAlexW2963559218MaRDI QIDQ5277840

Publication date: 12 July 2017

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

zbMATH Keywords

bisimulation classical realizability realizability topos Krivine machine

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Topoi (18B25) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Classical realizability in the CPS target language

This page was built for publication: Realizability Toposes from Specifications

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5277840&oldid=19925385"