PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Tiuryn, Jerzy"

Author of the publication

copydeleteadd this publication to your clipboard
Type Reconstruction in Finite Rank Fragments of the Second-Order lambda-Calculus

, and . Inf. Comput., 98 (2): 228-257 (June 1992)

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.

No persons found for author name Tiuryn, Jerzy
add a person with the name Tiuryn, Jerzy
 

Other publications of authors with the same name

Unbounded Program Memory Adds to the Expressive Power of First-Order Dynamic Logic (Extended Abstract). FOCS, page 335-339. IEEE Computer Society, (1981)Floyds Principle, Correctness Theories and Program Equivalence., , and . Theor. Comput. Sci., (1982)An Analysis of ML Typability., , and . J. ACM, 41 (2): 368-398 (1994)A Sequent Calculus for Subtyping Polymorphic Types.. MFCS, volume 1113 of Lecture Notes in Computer Science, page 135-155. Springer, (1996)Regulatory Network Reconstruction Using Stochastic Logical Networks., and . CMSB, volume 4210 of Lecture Notes in Computer Science, page 142-154. Springer, (2006)Bioinformatics and Computational Biology in Poland., and . PLoS Computational Biology, (2013)Type Reconstruction in the Presence of Polymorphic Recursion., , and . ACM Trans. Program. Lang. Syst., 15 (2): 290-311 (1993)A Probabilistic Model of Neutral and Selective Dynamics of Protein Network Evolution., and . Journal of Computational Biology, 20 (9): 631-642 (2013)The Subtyping Problem for Second-Order Types Is Undecidable., and . Inf. Comput., 179 (1): 1-18 (2002)A Sequent Calculus for Subtyping Polymorphic Types.. Inf. Comput., 164 (2): 345-369 (2001)