Parametricity of extensionally collapsed term models of polymorphism and their categorical properties
From MaRDI portal
Publication:5096235
DOI10.1007/3-540-54415-1_61zbMath1493.68230MaRDI QIDQ5096235
Publication date: 16 August 2022
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-54415-1_61
68Q65: Abstract data types; algebraic specification
Related Items
Strong categorical datatypes II: A term logic for categorical programming, Formal parametric polymorphism, Selective strictness and parametricity in structural operational semantics, inequationally