`Travelled to:`

1 × Austria

1 × Czech Republic

1 × Denmark

1 × United Kingdom

2 × USA

`Collaborated with:`

∅ L.Kristiansen J.Komara

`Talks about:`

program (4) gödel (2) restrict (1) function (1) theorem (1) surpris (1) languag (1) trilog (1) system (1) recurs (1)

## Person: Paul J. Voda

### DBLP: Voda:Paul_J=

### Contributed to:

### Wrote 6 papers:

- CSL-2003-KristiansenV #power of #source code #strict
- The Surprising Power of Restricted Programs and Gödel’s Functionals (LK, PJV), pp. 345–358.
- CSL-1998-KomaraV #programming #theorem
- Theorems af Péter and Parsons in Computer Programming (JK, PJV), pp. 204–223.
- CSL-1997-Voda #normalisation #recursion
- A Simple Ordinal Recursive Normalization of Gödel’s T (PJV), pp. 491–509.
- JICSCP-1988-Voda88
- Types of Trilogy (PJV), pp. 580–589.
- ICLP-1986-Voda86 #logic programming
- Choices in, and Limitations of, Logic Programming (PJV), pp. 615–623.
- POPL-1982-Voda #named #operating system #programming language
- Maple: a Programming Language, Operating System (PJV), pp. 157–168.