Matches in DBpedia 2015-10 for { <http://www.cis.upenn.edu/~bcpierce/papers/pict-design.ps> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- pict-design.ps contribution "Pict: A programming language based on the pi-calculus".
- pict-design.ps first1 "Benjamin C.".
- pict-design.ps first2 "David N.".
- pict-design.ps isCitedBy Function_composition_(computer_science).
- pict-design.ps isbn "0-262-16188-5".
- pict-design.ps last1 "Pierce".
- pict-design.ps last2 "Turner".
- pict-design.ps location "Cambridge, MA".
- pict-design.ps pages "455–494".
- pict-design.ps publisher "MIT Press".
- pict-design.ps series "Foundations Of Computing Series".
- pict-design.ps title "Proof, Language, and Interaction: Essays in Honour of Robin Milner".
- pict-design.ps url pict-design.ps.
- pict-design.ps year "2000".