Mathematical concepts in type theory (1994)

by Gilles Barthe