1115 search results - page 57 / 223 » An Abstract Look at Realizability |
EPIA
1999
Springer
13 years 12 months ago
1999
Springer
We introduce a resource adaptive agent mechanism which supports the user of an interactive theorem proving system. The mechanism, an extension of 5 , uses a two layered architectur...
WDAG
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. With the emergence of the internet, independent applications are starting to be integrated with each other. This creates a need for technology for glueing together applic...
PLSA
1994
13 years 11 months ago
1994
Abstract. Most software is developed using interactive computing systems and substantial compute-power. Considerable assistance can be given to the developer by providing language-...
ITP
2010
13 years 11 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
BIOADIT
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. This article describes a novel approach to the implementation on an electronic substrate of a process analogous to the cellular division of biological organisms. Cellular...