TY - GEN
AU - Prinz, Jacob
AU - Kavvos, G. A.
AU - Lampropoulos, Leonidas
AU - Jacob Prinz and G. A. Kavvos and Leonidas Lampropoulos
TI - Deeper Shallow Embeddings
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - shallow embedding
KW - Agda
KW - type theory
KW - deep embedding
PY - 2022
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
ER -
Download citation