Interactive programs and weakly final coalgebras (extended version

by Anton Setzer , Peter Hancock
Venue:Dependently typed programming, number 04381 in Dagstuhl Seminar Proceedings, 2004. Available via http://drops.dagstuhl.de/opus
Citations:3 - 2 self