( 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 Schlegelberger

Patricia Danninger

 

Other publications of authors with the same name

Refining Inductive Types, , and . Logical Methods in Computer Science, (2012)A Productivity Checker for Logic Programming., , and . LOPSTR, volume 10184 of Lecture Notes in Computer Science, page 168-186. Springer, (2016)Solving Simplification Ordering Constraints., and . CCL, volume 845 of Lecture Notes in Computer Science, page 352-367. Springer, (1994)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)Lumberjack Summer Camp: A Cross-Institutional Undergraduate Research Experience in Computer Science., and . Computer Science Education, 11 (4): 279-304 (2001)Deduction systems., and . Graduate Texts in Computer Science Springer, (1997)Staged Notational Definitions., and . GPCE, volume 2830 of Lecture Notes in Computer Science, page 97-116. Springer, (2003)Parametricity for Nested Types and GADTs., , and . CoRR, (2021)Parametricity for Nested Types and GADTs., and . Log. Methods Comput. Sci., (2021)