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

Document Versions

A Uniform Syntactical Method for Proving Coinduction Principles in lambda-calculi –Marina Lenisa — 1997 — In: Proc. of TAPSOFT'97
A Uniform Syntactical Method for Proving Coinduction Principles in λ-calculi –Marina Lenisa — 1997 — IN: PROC. OF TAPSOFT'97