A proof dedicated meta-language (2002)

by D Delahaye
Venue:Electronic Notes in Theoretical Computer Science