Proof Pearl: de Bruijn Terms Really Do Work

Cached

Download Links

by Michael Norrish , René Vestergaard
Citations:6 - 1 self