3713 search results - page 163 / 743 » Constructing a Calculus of Programs |
93
Voted
AAAI
2007
15 years 5 months ago
2007
A general game playing program plays games that it has not previously encountered. A game manager program sends the game playing programs a description of a game’s rules and obj...
233
click to vote
AISC
2010
Springer
15 years 8 months ago
2010
Springer
Krawtchouk polynomials appear in a variety of contexts, most notably as orthogonal polynomials and in coding theory via the Krawtchouk transform. We present an operator calculus fo...
113
click to vote
TABLEAUX
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. linTAP is a tableau prover for the multiplicative and exponential fragment M?LL of Girards linear logic. It proves the validity of a given formula by constructing an anal...
150
click to vote
ENTCS
2011
14 years 9 months ago
2011
This paper presents a game semantics for a simply-typed λ-calculus with qbits constants and associated quantum operations. The resulting language is expressive enough to encode a...
141
Voted
ENTCS
2008
15 years 3 months ago
2008
Computational origami is the computer assisted study of mathematical and computational aspects of origami. An origami is constructed by a finite sequence of fold steps, each consi...