7075 search results - page 1096 / 1415 » Models and heterogeneous reasoning |
215
click to vote
HASKELL
2005
ACM
16 years 12 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
187
click to vote
CAEPIA
2005
Springer
16 years 11 days ago
2005
Springer
This paper presents an architecture that makes it possible to construct dynamic systems capable of growing in dimension and adapting its knowledge to environmental changes. An arch...
191
click to vote
CSL
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
227
click to vote
ECSQARU
2005
Springer
16 years 11 days ago
2005
Springer
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating as well t...
172
click to vote
ICALP
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...