☰

William Lovas, Ph.D.

Affiliations: 
2010 Carnegie Mellon University, Pittsburgh, PA 
Area:
Computer Science, Robotics
Google:
"William Lovas"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Frank Pfenning grad student 2010 Carnegie Mellon
 (Refinement Types for Logical Frameworks.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Lovas W, Pfenning F. (2010) Refinement types for logical frameworks and their interpretation as proof irrelevance Logical Methods in Computer Science. 6: 1-50
Lovas W, Pfenning F. (2009) Refinement types as proof irrelevance Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5608: 157-171
Lovas W, Pfenning F. (2008) A Bidirectional Refinement Type System for LF Electronic Notes in Theoretical Computer Science. 196: 113-128
See more...