| 1 |
Negation for Free!
|
|
|
|
In: https://hal.inria.fr/inria-00629657 ; [Research Report] RR-7749, INRIA. 2011, pp.16 (2011)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
A Framework for Defining Logical Frameworks
|
|
|
|
In: ISSN: 1571-0661 ; Electronic Notes in Theoretical Computer Science ; https://hal.inria.fr/hal-01148312 ; Electronic Notes in Theoretical Computer Science, Elsevier, 2007, In Computation, Meaning and Logic. ENTCS, Special issue, dedicated to Gordon D. Plotkin, on the occasion of his 60th birthday, 172, pp.399-436. ⟨10.1016/j.entcs.2007.02.014⟩ ; Elsevier (2007)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Peter, the Language that does not Exist. ; Peter, le langage qui n’existe pas.
|
|
|
|
In: https://hal.inria.fr/tel-01148503 ; Computation and Language [cs.CL]. INPL - INP de LORRAINE, 2007 (2007)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Pure Patterns Type Systems
|
|
|
|
In: Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, New Orleans, LA, USA — January 15 - 17, 2003 ; https://hal.inria.fr/inria-00099463 ; Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, New Orleans, LA, USA — January 15 - 17, 2003, Jan 2003, New Orleans, United States. pp.250 - 261, ⟨10.1145/604131.604152⟩ (2003)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Search and Strategies in OPL
|
|
|
|
In: http://figaro.comp.nus.edu.sg/talks/searchOPL.pdf (2000)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
On the expressive power of multiple heads in CHR
|
|
|
|
In: http://arxiv.org/pdf/0804.3351v3.pdf (804)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
On the expressive power of multiple heads in CHR
|
|
|
|
In: http://arxiv.org/pdf/0804.3351v2.pdf (804)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
A On the expressive power of multiple heads in CHR
|
|
|
|
In: http://sardes.inrialpes.fr/~digiusto/publications/acm10.pdf
|
|
BASE
|
|
Show details
|
|
|
|
|
