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:
200319981997
19881986
1982Wrote 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.