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