Between logic and quantic: a tract

In Thomas Ehrhard (ed.), Linear logic in computer science. New York: Cambridge University Press. pp. 316--346 (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,907

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Some notes on the mediaeval tract de insolubilibus, with the edition of a tract dating from the end of the twelfth century.L. M. De Rijk - 1966 - Vivarium 4 (1):83-115.
A brief English tract of logick, 1677.Thomas Good - 1677 - Leeds,: Scolar P..
Doctor characteristics and prescribing antibiotics for urinary tract infections: the experience of an Asian country.Yi-Chun Lin, Hsiu-Chen Lin & Herng-Ching Lin - 2010 - Journal of Evaluation in Clinical Practice 16 (6):1221-1226.
How do Dutch general practitioners diagnose children's urinary tract infections?Mirjam Harmsen, René J. Wolters, Johannes C. van der Wouden, Richard P. T. M. Grol & Michel Wensing - 2009 - Journal of Evaluation in Clinical Practice 15 (3):464-467.
Review: Jean-Yves Girard, Yves Lafont, Laurent Regnier, Advances in Linear Logic. [REVIEW]C. Dimitracopoulos & Dale Miller - 1997 - Journal of Symbolic Logic 62 (2):678-680.
Tract 1:.Paul Vincent Spade - unknown
Review: Jean-Yves Girard, Linear Logic; A. S. Troelstra, Lectures on Linear Logic. [REVIEW]Herman Ruge Jervell - 1996 - Journal of Symbolic Logic 61 (1):336-338.
Logic: Its syntax and semantics.Jean-Yves Girard - 1995 - In Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.), Advances in Linear Logic. Cambridge University Press.
Set recursion and Πhalf-logic.Jean-Yves Girard & Dag Normann - 1985 - Annals of Pure and Applied Logic 28 (3):255-286.
Advances in linear logic.Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.) - 1995 - New York, NY, USA: Cambridge University Press.
Hume's enlightenment tract: The unity and purpose of 'an enquiry concerning human understanding'.J. P. Wright - 2003 - Australasian Journal of Philosophy 81 (3):434 – 436.
Evaluation of a service development to increase detection of urinary tract infections in children.Anne Marie Cunningham, Adrian Edwards, Kate Verrier Jones, Kate Bourdeaux, Jane Willock & Rosemary Barnes - 2005 - Journal of Evaluation in Clinical Practice 11 (1):73-76.
Cut-elimination and interpolation for Ω-logic.Jacqueline Vauzeilles - 1988 - Archive for Mathematical Logic 27 (2):161-175.
Non‐adherence to antibiotic prescription guidelines in treating urinary tract infection of children: a population‐based study in Taiwan.Chu C. Chen, Li C. Wu, Chung Y. Li, Chih K. Liu, Lin C. Woung & Ming C. Ko - 2011 - Journal of Evaluation in Clinical Practice 17 (6):1030-1035.

Analytics

Added to PP
2014-01-28

Downloads
33 (#498,108)

6 months
1 (#1,508,411)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Interaction graphs: Multiplicatives.Thomas Seiller - 2012 - Annals of Pure and Applied Logic 163 (12):1808-1837.
Interaction graphs: Additives.Thomas Seiller - 2016 - Annals of Pure and Applied Logic 167 (2):95-154.

Add more citations

References found in this work

No references found.

Add more references