A Proof of Weak Termination of the Simply-Typed λσ-Calculus (1997)

Cached

Download Links

by Jean Goubault-larrecq , Jean Goubault-larrecq