@misc
{TN_libero_mab2,
author = {
Prinz, Jacob
AND
Kavvos, G. A.
AND
Lampropoulos, Leonidas
Jacob Prinz and G. A. Kavvos and Leonidas Lampropoulos
},
title = {
Deeper Shallow Embeddings
},
publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
keywords = {
shallow embedding
,
Agda
,
type theory
,
deep embedding
},
year = {2022},
abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},
}