In recursive function theory, double recursion is an extension of primitive recursion which allows the definition of non-primitive recursive… (More)

Semantic Scholar uses AI to extract papers important to this topic.

2017

2014

2014

We study an assignment system of intersection types for a lambda-calculus with records and a recordmerge operator, where types… (More)

Is this relevant?

2008

2008

- Mihai Prunescu
- 2008

A primitive type of dynamical system is introduced. It is shown that there is no decision procedure able to answer if any such… (More)

Is this relevant?

2007

2007

We study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose definitions are… (More)

Is this relevant?

2004

2004

- Ingo Berensmeyer, Avigdor Arikha
- 2004

The formal specifics of Samuel Beckett’s writing have so far been redescribed in terms of mysticism, ordinary language philosophy… (More)

Is this relevant?

1998

1998

- Scott Taylor, David Levine
- 1998

Research has shown that a multithreaded algorithm implemented using Cilk threads performs dramatically better than a Posix… (More)

Is this relevant?

1992

1992

- Muhammad Ali McBeth
- SIGA
- 1992

211( x , y ) = x + y ; 2t„+i( x , 1 ) = x ; 2t,l+i( x , y + 1 ) = Zan{ x , 2tn-f-1( x > y ) } although of more potent growth than… (More)

Is this relevant?

1989

1989

- Andreas M. Hinz
- Computing
- 1989

The Tower of Hanoi (TH) withm+3 pegs andn discs is a one hundred years old mathematical puzzle which is now experiencing a… (More)

Is this relevant?

1956

1956

- Edward K. Blum
- ACM '56
- 1956

At the September 1955 Annual Meeting of A.C.M., the author presented a paper which described Automatic Digital Encoding System I… (More)

Is this relevant?