DOI10.1093/jigpal/3.4.615zbMath0832.68072MaRDI QIDQ4847374
Martin Wirsing, María Victoria Cengarle
Publication date: 5 November 1995 Published in: Logic Journal of IGPL (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1093/jigpal/3.4.615
zbMATH Keywords
specification language; lambda calculus; contextual proof system
Mathematics Subject Classification ID
68Q65: Abstract data types; algebraic specification
03B40: Combinatory logic and lambda calculus