%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 %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 = {2023-12-12T17:29:54.000+0100}, author = {Abel, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/20154849cfdabb82518e42fb8daa4f5d4/admin}, booktitle = {PAR@ITP}, crossref = {conf/itp/2010par}, editor = {Komendantskaya, Ekaterina and Bove, Ana and Niqui, Milad}, ee = {https://easychair.org/publications/paper/RM}, interhash = {0486fefdc9f8df9ec592f6c07871f50f}, intrahash = {0154849cfdabb82518e42fb8daa4f5d4}, keywords = {}, pages = {18-33}, publisher = {EasyChair}, series = {EPiC Series}, timestamp = {2023-12-12T17:29:54.000+0100}, title = {MiniAgda: Integrating Sized and Dependent Types.}, url = {http://dblp.uni-trier.de/db/conf/itp/par2010.html#000110}, volume = 5, year = 2010 }