A Uniform Syntactical Method for Proving Coinduction Principles in lambda-calculi (1997)

Cached

Download Links

by Marina Lenisa
Venue:In: Proc. of TAPSOFT'97
Citations:4 - 3 self