Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract)

DOI10.1007/978-3-662-44124-4_1zbMath1445.68046OpenAlexW181923181MaRDI QIDQ2942772

Davide Sangiorgi

Publication date: 11 September 2015

Published in: Advanced Information Systems Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44124-4_1

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• IBAL

This page was built for publication: Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract)