( en | de | ru )

 

Disambiguation of "Honsell, Furio"

Author of the publication

copydeleteadd this publication to your clipboard
Final semantics for the pi-calculus.

, , , and . PROCOMET, volume 125 of IFIP Conference Proceedings, page 225-243. Chapman & Hall, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Heinrich Honsell

Thomas Honsell

Thomas Honsell

Thomas Honsell

Thomas Honsell

 

Other publications of authors with the same name

Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi., , and . WADT, volume 5486 of Lecture Notes in Computer Science, page 119-134. Springer, (2008)Wherefore Art Thou... Semantics of Computation?. HaPoC, volume 487 of IFIP Advances in Information and Communication Technology, page 3-23. (2015)Translating specifications from nominal logic to CIC with the theory of contexts., , and . MERLIN, page 41-49. ACM, (2005)Processes and Hyperuniverses., , and . MFCS, volume 841 of Lecture Notes in Computer Science, page 352-363. Springer, (1994)A Language for Verification and Manipulation of Web Documents: (Extended Abstract)., , and . WWV, volume 157 of Electronic Notes in Theoretical Computer Science, page 67-78. Elsevier, (2005)Unfixing the Fixpoint: The Theories of the λY-Calculus., and . Computation, Logic, Games, and Quantum Foundations, volume 7860 of Lecture Notes in Computer Science, page 150-165. Springer, (2013)A Complete Characterization of the Complete Intersection-Type Theories., , and . ICALP Satellite Workshops, page 287-302. Carleton Scientific, Waterloo, Ontario, Canada, (2000)Categories of Coalgebraic Games with Selective Sum., , and . Fundam. Informaticae, 134 (3-4): 395-414 (2014)Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic., , , and . TOSCA, volume 62 of Electronic Notes in Theoretical Computer Science, page 136-156. Elsevier, (2001)Reasoning About Interpretations in Qualitative λ-Models., and . Programming Concepts and Methods, page 505-522. North-Holland, (1990)