1194 search results - page 34 / 239 » A Calculus for Predicative Programming |
289
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."
141
click to vote
CADE
2010
Springer
15 years 5 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...
106
click to vote
B
1998
Springer
15 years 8 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...
102
click to vote
APLAS
2004
ACM
15 years 10 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