| _version_ |
1848790372297211904
|
| author |
Altenkirch, Thorsten
|
| author_facet |
Altenkirch, Thorsten
|
| author_sort |
Altenkirch, Thorsten
|
| building |
Nottingham Research Data Repository
|
| collection |
Online Access
|
| first_indexed |
2025-11-14T18:11:34Z
|
| format |
Conference or Workshop Item
|
| id |
nottingham-218
|
| institution |
University of Nottingham Malaysia Campus
|
| institution_category |
Local University
|
| last_indexed |
2025-11-14T18:11:34Z
|
| publishDate |
2001
|
| recordtype |
eprints
|
| repository_type |
Digital Repository
|
| spelling |
nottingham-2182020-05-04T20:32:37Z https://eprints.nottingham.ac.uk/218/ Representations of first order function types as terminal coalgebras Altenkirch, Thorsten 2001 Conference or Workshop Item PeerReviewed Altenkirch, Thorsten (2001) Representations of first order function types as terminal coalgebras. In: TLCA 2001.
|
| spellingShingle |
Altenkirch, Thorsten
Representations of first order function types as terminal coalgebras
|
| title |
Representations of first order function types as terminal coalgebras
|
| title_full |
Representations of first order function types as terminal coalgebras
|
| title_fullStr |
Representations of first order function types as terminal coalgebras
|
| title_full_unstemmed |
Representations of first order function types as terminal coalgebras
|
| title_short |
Representations of first order function types as terminal coalgebras
|
| title_sort |
representations of first order function types as terminal coalgebras
|
| url |
https://eprints.nottingham.ac.uk/218/
|