Hybrid Amy P. Felty Alberto Momigliano School of Information Technology / University of Pennsylvania / University of Ottawa / University of Edinburgh / Carnegie-Mellon University / School of Informatics / Natural Sciences and Engineering Research Council of Canada / IEEE Computer Society / /
Person
Tobias Nipkow / Simon Ambler / Roy L. Crole / Amy P. Felty / Ivan Scagnetto / Aaron Bohannon / Victor Carre / Amy Felty / Andrew M. Pitts / Ferruccio Damiani / Robert Pollack / Paul G. Spirakis / Lars-Henrik Eriksson / Brigitte Pientka / Dimitrios Vytiniotis / Gilles Dowek / Anil Seth / Benjamin C. Pierce / Jens Brandt / Robert Harper / Carsten Sch¨urmann / Michael J. C. Gordon / Furio Honsell / Peter Baumgartner / Dana S. Scott / Christine Paulin-Mohring / Brian E. Aydemir / Tom Melham / Stephanie Weirich / Pierre Cast´eran / Dan Licata / Elsa L. Gunter / Steve Zdancewic / Gopalan Nadathur / Alwen Fernanto Tiu / James McKinna / Yves Bertot / Frank Pfenning / Matthew Fairbairn / Alberto Momigliano / Lawrence C. Paulson / Raymond McDowell / Jan van Leeuwen / Andrei Voronkov / Marino Miculan / Mario Coppo / Peter Sewell / Alwen Tiu / Markus Wenzel / J. Nathan Foster / Andrew Gacek / Daniel R. Licata / Alan J. Martin / Geoffrey Washburn / Dale Miller / /
Position
Pi proof editor / head of definitions / editor / first author / interactive derivation editor / Proof Assistant / General / head / /
Reasoning with Hypothetical Judgments and Open Terms in Hybrid Amy P. Felty Alberto Momigliano