( en | de | ru )

 

Disambiguation of "Wells, J. B."

Author of the publication

copydeleteadd this publication to your clipboard
Cycle Therapy: A Prescription for Fold and Unfold on Regular Trees.

, and . PPDP, page 137-149. ACM, (2001)

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.

B J Biringer

Josef Wells

Bruce Wells

William Wells

Robert J B Lehmann

 

Other publications of authors with the same name

Restoring Natural Language as a Computerised Mathematics Input Method., , , and . Calculemus/MKM, volume 4573 of Lecture Notes in Computer Science, page 280-295. Springer, (2007)Toward an Object-Oriented Structure for Mathematical Text., , and . MKM, volume 3863 of Lecture Notes in Computer Science, page 217-233. Springer, (2005)Equational Reasoning for Linking with First-Class Primitive Modules., and . ESOP, volume 1782 of Lecture Notes in Computer Science, page 412-428. Springer, (2000)System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types., , , and . ESOP, volume 2986 of Lecture Notes in Computer Science, page 294-309. Springer, (2004)Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract)., , , and . ICFP, page 90-101. ACM, (1999)SIGPLAN Notices 34(9), September 1999.New Notions of Reduction and Non-Semantic Proofs of beta-Strong Normalization in Typed lambda-Calculi, and . LICS, page 311-321. IEEE Computer Society, (1995)A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables., , , and . ICTAC, volume 5160 of Lecture Notes in Computer Science, page 171-185. Springer, (2008)Introduction: Workshop on Intersection Types and Related Systems (ITRS'00).. ICALP Satellite Workshops, page 263-266. Carleton Scientific, Waterloo, Ontario, Canada, (2000)Narrative Structure of Mathematical Texts., , , and . Calculemus/MKM, volume 4573 of Lecture Notes in Computer Science, page 296-312. Springer, (2007)PolyA: True Type Polymorphism for Mobile Ambients., , and . IFIP TCS, volume 155 of IFIP, page 591-604. Kluwer/Springer, (2004)