%0 Conference Paper %1 conf/cca/Escardo09 %A Escardó, Martín Hötzel %B CCA %D 2009 %E Bauer, Andrej %E Hertling, Peter %E Ko, Ker-I %I Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany %K dblp %T Theory and Practice of Higher-type Computation (Tutorial). %U http://dblp.uni-trier.de/db/conf/cca/cca2009.html#Escardo09 %V 11

@inproceedings{conf/cca/Escardo09, added-at = {2019-05-16T00:00:00.000+0200}, author = {Escardó, Martín Hötzel}, biburl = {https://www.bibsonomy.org/bibtex/254307dd2864dbf9f61e9548d1d98336b/dblp}, booktitle = {CCA}, crossref = {conf/cca/2009}, editor = {Bauer, Andrej and Hertling, Peter and Ko, Ker-I}, ee = {http://drops.dagstuhl.de/opus/volltexte/2009/2254}, interhash = {79fe33966064640bbce9c8f6a2fd5a0c}, intrahash = {54307dd2864dbf9f61e9548d1d98336b}, keywords = {dblp}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany}, series = {OASIcs}, timestamp = {2024-08-26T07:38:38.000+0200}, title = {Theory and Practice of Higher-type Computation (Tutorial).}, url = {http://dblp.uni-trier.de/db/conf/cca/cca2009.html#Escardo09}, volume = 11, year = 2009 }