Antonia Balaa

Publication Activity (10 Years)

Years Active: 2000-2000
Publications (10 Years): 0

Publications

Antonia Balaa, Yves Bertot
Fix-Point Equations for Well-Founded Recursion in Type Theory. TPHOLs (2000)