BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Voda:Paul_J=

Contributed to:

CSL 20032003
CSL 19981998
CSL 19971997
ICLP/SPL 19881988
ICLP 19861986
POPL 19821982

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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.