%0 Conference Paper %1 conf/wollic/CohenC15 %A Cohen, Liron %A Constable, Robert L. %B WoLLIC %D 2015 %E de Paiva, Valeria %E de Queiroz, Ruy J. G. B. %E Moss, Lawrence S. %E Leivant, Daniel %E de Oliveira, Anjolina Grisi %I Springer %K dblp %P 14-26 %T Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language. %U http://dblp.uni-trier.de/db/conf/wollic/wollic2015.html#CohenC15 %V 9160 %@ 978-3-662-47708-3

@inproceedings{conf/wollic/CohenC15, added-at = {2020-12-29T00:00:00.000+0100}, author = {Cohen, Liron and Constable, Robert L.}, biburl = {https://www.bibsonomy.org/bibtex/2a15948383c96c26278fadbfb173a68b1/dblp}, booktitle = {WoLLIC}, crossref = {conf/wollic/2015}, editor = {de Paiva, Valeria and de Queiroz, Ruy J. G. B. and Moss, Lawrence S. and Leivant, Daniel and de Oliveira, Anjolina Grisi}, ee = {https://doi.org/10.1007/978-3-662-47709-0_2}, interhash = {ab709d904fb0722b467b347539e15e66}, intrahash = {a15948383c96c26278fadbfb173a68b1}, isbn = {978-3-662-47708-3}, keywords = {dblp}, pages = {14-26}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:24:58.000+0200}, title = {Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language.}, url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2015.html#CohenC15}, volume = 9160, year = 2015 }