Call-by-Value in a Basic Logic for Interaction

DOI10.1007/978-3-319-12736-1_23zbMath1453.68029OpenAlexW348923616MaRDI QIDQ2789064

Ulrich Schöpp

Publication date: 26 February 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-12736-1_23

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Unnamed Item

This page was built for publication: Call-by-Value in a Basic Logic for Interaction