An open logical framework
Honsell, Furio, Lenisa, Marina, Scagnetto, Ivan, Liquori, Luigi, Maksimovic, PetarLanguage:
english
Journal:
Journal of Logic and Computation
DOI:
10.1093/logcom/ext028
Date:
July, 2013
File:
PDF, 1.60 MB
english, 2013