MiniAgda: Integrating Sized and Dependent Types | BibSonomy

MiniAgda: Integrating Sized and Dependent Types

. PAR, volume 43 of EPTCS, page 14-28. (2010)

Links and resources

URL:
BibTeX key:
journals/corr/abs-1012-4896
search on:

Comments and Reviews  
(0)

There is no review or comment yet. You can write one!

Tags


Cite this publication