( en | de | ru )

 

Disambiguation of "Johann, Patricia"

Author of the publication

copydeleteadd this publication to your clipboard
Refining Inductive Types

, , and . Logical Methods in Computer Science, (2012)

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.

Patricia Lang

Risikoanalyse der Lungenmetastasenresektion unter aktuellen Aspekten der Thoraxchirurgie. Uni Ulm, (2009)

Patricia Tönnessen

Unterschiedliche Regulation von insulinsensitiven Adipokinen bei Schwangerschaften mit normaler und abnormaler plazentarer Funktion. Uni Leipzig, (2009)

Patricia Diffené

Patricia Minke

Patricia Marcu

 

Other publications of authors with the same name

Cubical Categories for Higher-Dimensional Parametricity., and . CoRR, (2017)A principled approach to programming with nested types in Haskell., and . High. Order Symb. Comput., 22 (2): 155-189 (2009)Solving Simplification Ordering Constraints., and . CCL, volume 845 of Lecture Notes in Computer Science, page 352-367. Springer, (1994)A Productivity Checker for Logic Programming., , and . LOPSTR, volume 10184 of Lecture Notes in Computer Science, page 168-186. Springer, (2016)Refining Inductive Types, , and . Logical Methods in Computer Science, (2012)Deduction systems., and . Graduate Texts in Computer Science Springer, (1997)Lumberjack Summer Camp: A Cross-Institutional Undergraduate Research Experience in Computer Science., and . Computer Science Education, 11 (4): 279-304 (2001)Interleaving data and effects., and . J. Funct. Program., (2015)A General Framework for Relational Parametricity., and . LICS, page 869-878. ACM, (2018)Staged Notational Definitions., and . GPCE, volume 2830 of Lecture Notes in Computer Science, page 97-116. Springer, (2003)