Travelled to:
1 × Switzerland
1 × USA
Collaborated with:
∅
Talks about:
comput (3) ordinari (1) influenc (1) approach (1) abstract (1) tarski (1) scienc (1) type (1) data (1) new (1)
Person: Solomon Feferman
DBLP: Feferman:Solomon
Contributed to:
Wrote 2 papers:
- LICS-2005-Feferman
- Tarski’s Influence on Computer Science (SF), p. 342.
- CSL-1991-Feferman #approach #data type
- A New Approach to Abstract Data Types II: Computation on ADTs as Ordinary Computation (SF), pp. 79–95.