%0 Conference Paper %1 conf/itp/000110 %A Abel, Andreas %B PAR@ITP %D 2010 %E Komendantskaya, Ekaterina %E Bove, Ana %E Niqui, Milad %I EasyChair %K dblp %P 18-33 %T MiniAgda: Integrating Sized and Dependent Types. %U http://dblp.uni-trier.de/db/conf/itp/par2010.html#000110 %V 5

@inproceedings{conf/itp/000110, added-at = {2021-08-15T00:00:00.000+0200}, author = {Abel, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/20154849cfdabb82518e42fb8daa4f5d4/dblp}, booktitle = {PAR@ITP}, crossref = {conf/itp/2010par}, editor = {Komendantskaya, Ekaterina and Bove, Ana and Niqui, Milad}, ee = {https://doi.org/10.29007/322q}, interhash = {0486fefdc9f8df9ec592f6c07871f50f}, intrahash = {0154849cfdabb82518e42fb8daa4f5d4}, keywords = {dblp}, pages = {18-33}, publisher = {EasyChair}, series = {EPiC Series}, timestamp = {2024-04-09T22:14:41.000+0200}, title = {MiniAgda: Integrating Sized and Dependent Types.}, url = {http://dblp.uni-trier.de/db/conf/itp/par2010.html#000110}, volume = 5, year = 2010 }