1115 search results - page 57 / 223 » An Abstract Look at Realizability |
118
click to vote
EPIA
1999
Springer
15 years 8 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...
164
click to vote
WDAG
1999
Springer
15 years 8 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...
119
click to vote
PLSA
1994
15 years 8 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-...
139
click to vote
ITP
2010
15 years 8 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...
122
click to vote
BIOADIT
2004
Springer
15 years 8 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...