( en | de | ru )

 

Disambiguierung von "Jay, Barry"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Pattern Calculus: Computing with Functions and Structures

. Springer, (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Jay Jorgenson

Sylvain Jay

Georg Barry

Boubakar Barry

Georg Barry

 

Weitere Publikationen von Autoren mit dem selben Namen

Scrap Your Type Applications., und . MPC, Volume 5133 von Lecture Notes in Computer Science, Seite 2-27. Springer, (2008)Pattern Calculus: Computing with Functions and Structures. Springer, (2009)Programs as Data Structures in λSF-Calculus.. MFPS, Volume 325 von Electronic Notes in Theoretical Computer Science, Seite 221-236. Elsevier, (2016)Typed Program Analysis without Encodings.. PEPM, Seite 54-65. ACM, (2025)A Semantics for Shape. Science of Computer Programming, 25 (2-3): 251-283 (1995)Recursive programs in normal form (short paper).. PEPM, Seite 67-73. ACM, (2018)Multi-polymorphic programming in bondi., , und . WGP@ICFP, Seite 53-60. ACM, (2013)Self-Quotation in a Typed, Intensional Lambda-Calculus.. MFPS, Volume 341 von Electronic Notes in Theoretical Computer Science, Seite 207-222. Elsevier, (2018)Concurrent Pattern Calculus., , und . IFIP TCS, Volume 323 von IFIP Advances in Information and Communication Technology, Seite 244-258. Springer, (2010)Research on the Influence of Big Data Knowledge Transfer on Value of Co-creation and Competitive Advantage of Smart Tourism Destinations., , , und . CSAE, Seite 28:1-28:8. ACM, (2020)