New
DOI10.1016/J.ENTCS.2012.08.003zbMATH Open1342.68090OpenAlexW4241627427WikidataQ113318091 ScholiaQ113318091MaRDI QIDQ3178271FDOQ3178271
Authors: Dexter Kozen 
Publication date: 8 July 2016
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2012.08.003
Recommendations
functional programmingobject-oriented programmingoperational semanticsimperative programmingindiscernibles
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)
Cites Work
- Title not available (Why is that?)
- Nominal (universal) algebra: equational logic with names and binding
- State-dependent representation independence
- A new approach to abstract syntax with variable binding
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Types and programing languages
- Operational reasoning for functions with local state
- A relational modal logic for higher-order stateful ADTs
- Small bisimulations for reasoning about higher-order imperative programs
- The marriage of bisimulations and Kripke logical relations
- Capsules and closures
- Fast congruence closure and extensions
- Just do it
- Realization of coinductive types
- Testing the equivalence of regular languages
- Capsules and separation
- Computing with capsules
Cited In (3)
Uses Software
This page was built for publication: New
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3178271)
