The not so simple proof-irrelevant model of CC (2002)

by Alexandre Miquel , Benjamin Werner
Venue:OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:10 - 1 self