Journal article
Dependently-Typed Formalisation of Typed Term Graphs
Authors
Kahl W
Journal
Electronic Proceedings in Theoretical Computer Science, Vol. 48, , pp. 38–53
Publisher
Open Publishing Association
Publication Date
February 13, 2011
DOI
10.4204/eptcs.48.6
ISSN
2075-2180