Linked Data Explorerhttp://worldcat.org/entity/work/id/16727456
Proceedings of the 2003 Workshop on Mechanized Reasoning about Languages with Variable Binding 2003, Uppsala, Sweden, 2003
Open All Close All
http://schema.org/contributor
- http://experiment.worldcat.org/entity/work/data/16727456#Meeting/acm_sigplan_international_conference_on_functional_programming_8th_2003_uppsala_sweden
- http://experiment.worldcat.org/entity/work/data/16727456#Organization/association_for_computing_machinery
- http://viaf.org/viaf/128802907
- http://id.loc.gov/authorities/names/n82047295
http://schema.org/genre
- "Conference papers and proceedings"@en
http://schema.org/name
- "Proceedings of the 2003 Workshop on Mechanized Reasoning about Languages with Variable Binding 2003, Uppsala, Sweden, 2003"@en