| 1998 |
|---|
| 7 | | Eduardo Giménez,
Christine Paulin-Mohring:
Types for Proofs and Programs, International Workshop TYPES'96, Aussois, France, December 15-19, 1996, Selected Papers
Springer 1998 |
| 6 | EE | Pere Garcia,
Eduardo Giménez,
Lluis Godo,
Juan A. Rodríguez-Aguilar:
Bidding Strategies for Trading Agents in Auction-Based Tournaments.
AMET 1998: 151-165 |
| 5 | | Pere Garcia,
Eduardo Giménez,
Lluis Godo,
Juan A. Rodríguez-Aguilar:
Possibilistic-Based Bidding Strategies in Electronic Auctions.
ECAI 1998: 575-579 |
| 4 | EE | Eduardo Giménez:
Structural Recursive Definitions in Type Theory.
ICALP 1998: 397-408 |
| 1996 |
|---|
| 3 | | Eduardo Giménez,
Christine Paulin-Mohring:
Introduction.
TYPES 1996: 1-8 |
| 1995 |
|---|
| 2 | | Eduardo Giménez:
An Application of Co-inductive Types in Coq: Verification of the Alternating Bit Protocol.
TYPES 1995: 135-152 |
| 1994 |
|---|
| 1 | | Eduardo Giménez:
Codifying Guarded Definitions with Recursive Schemes.
TYPES 1994: 39-59 |
