DOI10.18255/1818-1015-2021-4-414-433MaRDI QIDQ5870864
Hans de Nivelle
Publication date: 24 January 2023 Published in: Modeling and Analysis of Information Systems (Search for Journal in Brave) Full work available at URL: http://mathnet.ru/eng/mais760
zbMATH Keywords
theorem proving; type systems; compiler construction; programming language design
Mathematics Subject Classification ID
03B70: Logic in computer science
68Q99: Theory of computing
Uses Software