MiniAgda: Integrating Sized and Dependent Types | BibSonomy

MiniAgda: Integrating Sized and Dependent Types

. PAR, Volume 43 von EPTCS, Seite 14-28. (2010)

Links und Ressourcen

URL:
BibTeX-Schlüssel:
journals/corr/abs-1012-4896
Suchen auf:

Kommentare und Rezensionen  
(0)

Es gibt bisher keine Rezension oder Kommentar. Sie können eine schreiben!

Tags


Zitieren Sie diese Publikation