David Cerna, Teimuraz Kutsia,
"A Generic Framework for Higher-Order Generalizations"
, in Herman Geuvers: Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019), Serie Leibniz International Proceedings in Informatics (LIPIcs), Vol. 131, Schloss Dagstuhl, Seite(n) 10:1-10:19, 2019, ISSN: 1868-8969
Original Titel:
A Generic Framework for Higher-Order Generalizations
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)
Verlagsanschrift:
Schloss Dagstuhl
Serie:
Leibniz International Proceedings in Informatics (LIPIcs)