%0 Conference Paper %1 conf/iclp/DassevilleH0JD16 %A Dasseville, Ingmar %A van der Hallen, Matthias %A Bogaerts, Bart %A Janssens, Gerda %A Denecker, Marc %B ICLP (Technical Communications) %D 2016 %E Carro, Manuel %E King, Andy %E Saeedloei, Neda %E Vos, Marina De %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 14:1-14:13 %T A Compositional Typed Higher-Order Logic with Definitions. %U http://dblp.uni-trier.de/db/conf/iclp/iclp2016.html#DassevilleH0JD16 %V 52 %@ 978-3-95977-007-1

@inproceedings{conf/iclp/DassevilleH0JD16, added-at = {2024-02-05T00:00:00.000+0100}, author = {Dasseville, Ingmar and van der Hallen, Matthias and Bogaerts, Bart and Janssens, Gerda and Denecker, Marc}, biburl = {https://www.bibsonomy.org/bibtex/2f9a345598cf1a143f73201b9048533f6/dblp}, booktitle = {ICLP (Technical Communications)}, crossref = {conf/iclp/2016}, editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and Vos, Marina De}, ee = {https://doi.org/10.4230/OASIcs.ICLP.2016.14}, interhash = {6f4f18e95f98cc5fbbad8c57bdbb0c14}, intrahash = {f9a345598cf1a143f73201b9048533f6}, isbn = {978-3-95977-007-1}, keywords = {dblp}, pages = {14:1-14:13}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {OASIcs}, timestamp = {2024-04-09T16:09:44.000+0200}, title = {A Compositional Typed Higher-Order Logic with Definitions.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2016.html#DassevilleH0JD16}, volume = 52, year = 2016 }