William Lovas

According to our database¹, William Lovas authored at least 4 papers between 2007 and 2010.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2010

Refinement Types for Logical Frameworks.

[BibT_eX]

[DOI]

PhD thesis, 2010

Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2010

2009

Refinement Types as Proof Irrelevance.

[BibT_eX]

[DOI]

Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009

2007

A Bidirectional Refinement Type System for LF.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2007