13383 search results - page 181 / 2677 » Abstractions from proofs |
178
click to vote
APLAS
2005
ACM
16 years 3 days ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
148
click to vote
CSL
2002
Springer
15 years 6 months ago
2002
Springer
Ludics has been proposed by Girard as an abstract general approach to proof theory. We explain how its basic notions correspond to those of the "innocent strategy" apprao...
207
click to vote
IWFM
1998
15 years 7 months ago
1998
ing Structured Database Schemas into Abstract Machines Brian Matthews Rutherford Appleton Laboratory, Didcot, OXON, OX11 OQX, U.K. Elvira Locuratolo Istituto di Elaborazione dell&#...
125
click to vote
AIM
2006
15 years 6 months ago
2006
Undergraduate Artificial Intelligence Robotics: Layers Of Abstraction Over Two Channels Frederick L. Crabbe Computer Science Department United States Naval Academy 572C Holloway Rd...
183
click to vote
ENTCS
2007
15 years 6 months ago
2007
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...