( en | de | ru )

 

Disambiguierung von "Wells, J. B."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Bridging Curry and Church's typing style.

, , und . J. Appl. Log., (2016)

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.

B J Biringer

Josef Wells

Bruce Wells

William Wells

Marcus J B Hauser

 

Weitere Publikationen von Autoren mit dem selben Namen

Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract)., , , und . ICFP, Seite 90-101. ACM, (1999)SIGPLAN Notices 34(9), September 1999.Equational Reasoning for Linking with First-Class Primitive Modules., und . ESOP, Volume 1782 von Lecture Notes in Computer Science, Seite 412-428. Springer, (2000)System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types., , , und . ESOP, Volume 2986 von Lecture Notes in Computer Science, Seite 294-309. Springer, (2004)Restoring Natural Language as a Computerised Mathematics Input Method., , , und . Calculemus/MKM, Volume 4573 von Lecture Notes in Computer Science, Seite 280-295. Springer, (2007)Toward an Object-Oriented Structure for Mathematical Text., , und . MKM, Volume 3863 von Lecture Notes in Computer Science, Seite 217-233. Springer, (2005)New Notions of Reduction and Non-Semantic Proofs of beta-Strong Normalization in Typed lambda-Calculi, und . LICS, Seite 311-321. IEEE Computer Society, (1995)A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables., , , und . ICTAC, Volume 5160 von Lecture Notes in Computer Science, Seite 171-185. Springer, (2008)Introduction: Workshop on Intersection Types and Related Systems (ITRS'00).. ICALP Satellite Workshops, Seite 263-266. Carleton Scientific, Waterloo, Ontario, Canada, (2000)Cycle Therapy: A Prescription for Fold and Unfold on Regular Trees., und . PPDP, Seite 137-149. ACM, (2001)Type inference, principal typings, and let-polymorphism for first-class mixin modules., und . ICFP, Seite 156-167. ACM, (2005)