public_html: Publications/tlca-99.bib@add8c33f84ce (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.urban@kcl.ac.uk>
	Fri, 17 Apr 2020 01:43:45 +0100
changeset 603	add8c33f84ce
parent 14	680070975206
permissions	-rw-r--r--