zbMath1063.68088MaRDI QIDQ4664918
H. P. Barendregt
Publication date: 9 April 2005
zbMATH Keywords
Coq
Mathematics Subject Classification ID
Related Items
Uses Software