Travelled to:
1 × Canada
Collaborated with:
A.Mora M.J.Ramírez M.Falaschi
Talks about:
construct (1) prototyp (1) system (1) negat (1) equat (1)
Person: J. Piris
DBLP: Piris:J=
Contributed to:
Wrote 1 papers:
- ILPS-1993-MoraPRF #equation #prototype #type system
- A Prototype System for Equational Constructive Negation (AM, JP, MJR, MF), p. 638.