Searching for authors named "Ana Bove" – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
