Publication:5111317
From MaRDI portal
DOI10.4230/LIPIcs.FSCD.2017.21zbMath1434.03030MaRDI QIDQ5111317
Brigitte Pientka, Gert Smolka, Jonas Pilgaard Kaiser
Publication date: 26 May 2020
03B35: Mechanization of proofs and logical operations
03B40: Combinatory logic and lambda calculus
03B38: Type theory
Uses Software