Matches in DBpedia 2015-10 for { <http://iml.univ-mrs.fr/~girard/LLcup.pdf.gz> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- LLcup.pdf.gz contribution "Between logic and quantic: a tract".
- LLcup.pdf.gz displayEditors "3".
- LLcup.pdf.gz editor1Last "Ehrhard".
- LLcup.pdf.gz editor2Last "Girard".
- LLcup.pdf.gz editor3Last "Ruet".
- LLcup.pdf.gz editor4Last "Scott".
- LLcup.pdf.gz first "J.-Y.".
- LLcup.pdf.gz isCitedBy Coherent_space.
- LLcup.pdf.gz last "Girard".
- LLcup.pdf.gz publisher "Cambridge University Press".
- LLcup.pdf.gz title "Linear logic in computer science".
- LLcup.pdf.gz url LLcup.pdf.gz.
- LLcup.pdf.gz year "2004".