Travelled to:1 × The Netherlands
1 × United Kingdom
Collaborated with:∅ P.F.Mendler
Talks about:framework (2) generalis (1) composita (1) notion (1) declar (1) logic (1) term (1) ltc (1)
Person: Peter Aczel
DBLP: Aczel:Peter
Contributed to:
19911988Wrote 2 papers:
- LICS-1991-Aczel #logic
- Term Declaration Logic and Generalised Composita (PA), pp. 22–30.
- LICS-1988-MendlerA #framework
- The notion of a Framework and a framework for LTC (PFM, PA), pp. 392–399.