Isomorphisms of types in the presence of higher-order references (extended version)

DOI10.2168/LMCS-8(3:8)2012zbMath1256.68043arXiv1112.3198OpenAlexW2031775786MaRDI QIDQ2904625

Pierre Clairambault

Publication date: 15 August 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

game semanticsgeneral referencesisomorphisms of types

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Foundations of dependent interoperability ⋮ Automorphisms of types in certain type theories and representation of finite groups

This page was built for publication: Isomorphisms of types in the presence of higher-order references (extended version)