Representations of first order function types as terminal coalgebras

Representations of first order function types as terminal coalgebras

Bibliographic Details
Main Author: Altenkirch, Thorsten
Format: Conference or Workshop Item
Published: 2001
Online Access:https://eprints.nottingham.ac.uk/218/

Internet

https://eprints.nottingham.ac.uk/218/

Similar Items