public_html: Publications/tlca-99.bib@c65b5d508a17 (annotated)

14 680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	1
680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	2
680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	3	@INPROCEEDINGS{UrbanBierman99,
680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	4	AUTHOR = {C.~Urban and G.M.~Bierman},
680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	5	TITLE = {{S}trong {N}ormalisation of {C}ut-{E}limination
680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	6	in {C}lassical {L}ogic},
680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	7	BOOKTITLE = {Typed Lambda Calculi and Applications},
680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	8	EDITOR = {J.-Y.~Girard},
680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	9	PAGES = {365--380},
680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	10	SERIES = {LNCS},
680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	11	VOLUME = 1581,
680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	12	PUBLISHER = {Springer Verlag},
680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	13	YEAR = 1999
680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	14	}
680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	15

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Wed, 30 Mar 2016 17:15:27 +0100
changeset 412	c65b5d508a17
parent 14	680070975206
permissions	-rw-r--r--