%0 Conference Paper %1 journals/entcs/Baldamus00 %A Baldamus, Michael %B HOOTS %D 2000 %E Jeffrey, Alan %I Elsevier %K dblp %N 3 %P 50-69 %T First-order Semantics for Higher-order Processes. %U http://dblp.uni-trier.de/db/conf/hoots/hoots2000.html#Baldamus00 %V 41

@inproceedings{journals/entcs/Baldamus00, added-at = {2022-12-01T00:00:00.000+0100}, author = {Baldamus, Michael}, biburl = {https://www.bibsonomy.org/bibtex/28b0ddb1bea10fd8ff7875c0d81566ad1/dblp}, booktitle = {HOOTS}, crossref = {conf/hoots/2000}, editor = {Jeffrey, Alan}, ee = {https://doi.org/10.1016/S1571-0661(04)80873-9}, interhash = {52840800a2049e76c6b675dfb7758939}, intrahash = {8b0ddb1bea10fd8ff7875c0d81566ad1}, keywords = {dblp}, number = 3, pages = {50-69}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T00:13:43.000+0200}, title = {First-order Semantics for Higher-order Processes.}, url = {http://dblp.uni-trier.de/db/conf/hoots/hoots2000.html#Baldamus00}, volume = 41, year = 2000 }