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
DOI
10.4204/eptcs.48.6
ISSN
2075-2180
Experts has a new look! Let us know what you think of the updates.
Provide feedback