Searching for authors named "Ana Bove" – sorted by Relevance.
-
A Machine-assisted Proof of the Property for a Small Typed Functional Language
- Ana Bove 1 bove@(email omitted); November, 1995 1 Computer Science Department, Engineering School
- Add To MetaCart
-
Generalised Simultaneous Inductive-Recursive Definitions and their Application to Programming in Type Theory
- Theory Ana Bove Department of Computing Science, Chalmers University of Technology 412 96 G
- Add To MetaCart
-
Simple General Recursion in Type Theory
- Simple General Recursion in Type Theory Ana Bove Department of Computing Science Chalmers
- Cited by 6 (2 self) – Add To MetaCart
-
Programming in Martin-Löf Type Theory Unification - A non-trivial Example
- A non-trivial Example Ana Bove Department of Computing Science Chalmers University of Technology
- Cited by 2 (2 self) – Add To MetaCart
-
A Machine-assisted Proof that Well Typed Expressions Cannot Go Wrong
- A Machine-assisted Proof that Well Typed Expressions Cannot Go Wrong Ana Bove bove
- Cited by 3 (0 self) – Add To MetaCart
-
A Type of Partial Recursive Functions
- A Type of Partial Recursive Functions Ana Bove 1 and Venanzio Capretta 2 1 Department of Computer
- Add To MetaCart
-
Computation by prophecy
- Computation by Prophecy Ana Bove 1 and Venanzio Capretta 2 1 Department of Computer Science
- Cited by 1 (1 self) – Add To MetaCart
-
A Machine-assisted Proof of the Subject Reduction Property for a Small Typed Functional Language
- Ana Bove Universidad de la Rep'ublica, Montevideo, Uruguay 2 Alvaro Tasistro Chalmers University
- Cited by 2 (2 self) – Add To MetaCart
-
Recursive functions with higher order domains
- Recursive Functions with Higher Order Domains Ana Bove 1 and Venanzio Capretta 2 1 Department
- Cited by 3 (1 self) – Add To MetaCart
-
Nested General Recursion and Partiality in Type Theory
- Nested General Recursion and Partiality in Type Theory Ana Bove 1 and Venanzio Capretta 2 1
- Cited by 21 (9 self) – Add To MetaCart

