Search: id:"swepub:oai:research.chalmers.se:6897c26b-1ab6-4040-a2d3-b9563126e04d" >
A Comparison of HOL...
-
Dybjer, Peter,1953Chalmers tekniska högskola,Chalmers University of Technology
(author)
A Comparison of HOL and ALF Formalizations of a Categorical Coherence Theorem
- Article/chapterEnglish1996
Publisher, publication year, extent ...
Numbers
-
LIBRIS-ID:oai:research.chalmers.se:6897c26b-1ab6-4040-a2d3-b9563126e04d
-
https://research.chalmers.se/publication/17652URI
Supplementary language notes
Part of subdatabase
Classification
-
Subject category:kon swepub-publicationtype
-
Subject category:ref swepub-contenttype
Subject headings and genre
Added entries (persons, corporate bodies, meetings, titles ...)
-
Beylin, Ilya,1968Chalmers tekniska högskola,Chalmers University of Technology
(author)
-
Agerholm, Sten
(author)
-
Chalmers tekniska högskola
(creator_code:org_t)
Related titles
-
In:Theorem Proving in Higher Order Logics, LNCS1125, s. 17-32
Internet link
To the university's database