Terra Cognita

Reasoning with Higher-Order Abstract Syntax in a Logical Framework

Licence unknown link only — licence forbids redistribution arxiv

Raymond C. McDowell, Dale A. Miller

arXiv preprint (cs.LO, cs.PL).

Source ↗

ABSTRACT · 0.0 MB · sha256 676b5fa8fabc…

Concepts this teaches

Not yet mapped to any concept.

A resource only becomes useful here once a curator has anchored it to concepts at specific pages. Until then it is a book on a shelf.