Skip to main content
Article
A Type Logic Approach to Refinement
Theoria: Revista de teoría, historia y fundamentos de la ciencia (1996)
  • Julia Barragán, Universidad Central de Venezuela
Disciplines
Publication Date
1996
Citation Information
Julia Barragán. "A Type Logic Approach to Refinement" Theoria: Revista de teoría, historia y fundamentos de la ciencia Vol. 11 Iss. 26 (1996)
Available at: http://works.bepress.com/julia_barragan/22/