Milena Stefanova (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1 Milena Stefanova, Herman Geuvers: A Simple Model Construction for the Calculus of Constructions. TYPES 1995: 249-264

Selection of 1 from 2 records - Milena Stefanova has 2 coauthors