Representations of First Order Function Types as Terminal Coalgebras (2001)

Cached

Download Links

by Thorsten Altenkirch
Venue:In Typed Lambda Calculi and Applications, TLCA 2001, number 2044 in Lecture Notes in Computer Science
Citations:12 - 0 self