1194 search results - page 34 / 239 » A Calculus for Predicative Programming |
ESOP
2008
Springer
15 years 3 months ago
2008
Springer
248
click to vote
Book
"These are the lecture notes accompanying the course Introduction to Functional
Programming, which I taught at Cambridge University in the academic year 1996/1997."
113
Voted
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We introduce a semantics for classical logic with partial functions. We believe that the semantics is natural. When a formula contains a subterm in which a function is ap...
82
Voted
B
1998
Springer
15 years 6 months ago
1998
Springer
Let predicate P be converted from Boolean to numeric type by writing P , with false being 0 and true being 1, so that in a degenerate sense P can be regarded as `the probability th...
APLAS
2004
ACM
15 years 7 months ago
2004
ACM
Abstract. Fusion calculus is commonly regarded as a generalisation of pi. Actually, we prove that there is no uniform fully abstract embedding