isabelle-cookbook: ProgTutorial/document/root.bib@69c78980c8a4 (annotated)

30 7b2625cea982 Added some more papers cited in the "how to write a package" chapter. berghofe parents: 17 diff changeset	1	@Misc{Bornat-lecture,
124 0b9fa606a746 added to the first-steps section Christian Urban <urbanc@in.tum.de> parents: 30 diff changeset	2	author = {R.~Bornat},
0b9fa606a746 added to the first-steps section Christian Urban <urbanc@in.tum.de> parents: 30 diff changeset	3	title = {In {D}efence of {P}rogramming},
30 7b2625cea982 Added some more papers cited in the "how to write a package" chapter. berghofe parents: 17 diff changeset	4	month = {April},
7b2625cea982 Added some more papers cited in the "how to write a package" chapter. berghofe parents: 17 diff changeset	5	year = 2005,
7b2625cea982 Added some more papers cited in the "how to write a package" chapter. berghofe parents: 17 diff changeset	6	note = {Corrected and revised version of inaugural lecture,
7b2625cea982 Added some more papers cited in the "how to write a package" chapter. berghofe parents: 17 diff changeset	7	delivered on 22nd January 2004 at the School of
7b2625cea982 Added some more papers cited in the "how to write a package" chapter. berghofe parents: 17 diff changeset	8	Computing Science, Middlesex University}
7b2625cea982 Added some more papers cited in the "how to write a package" chapter. berghofe parents: 17 diff changeset	9	}
578 69c78980c8a4 minor updated Christian Urban <urbanc@in.tum.de> parents: 567 diff changeset	10	@manual{wenzel-technology,
567 f7c97e64cc2a tuned ML-antiquotations; added intro portions. Norbert Schirmer <norbert.schirmer@web.de> parents: 314 diff changeset	11	author = {M.~Wenzel},
578 69c78980c8a4 minor updated Christian Urban <urbanc@in.tum.de> parents: 567 diff changeset	12	title = {{F}urther {S}caling of {I}sabelle {T}echnology},
69c78980c8a4 minor updated Christian Urban <urbanc@in.tum.de> parents: 567 diff changeset	13	note = {\url{http://sketis.net}},
567 f7c97e64cc2a tuned ML-antiquotations; added intro portions. Norbert Schirmer <norbert.schirmer@web.de> parents: 314 diff changeset	14	month = {April},
578 69c78980c8a4 minor updated Christian Urban <urbanc@in.tum.de> parents: 567 diff changeset	15	year = {2018}
567 f7c97e64cc2a tuned ML-antiquotations; added intro portions. Norbert Schirmer <norbert.schirmer@web.de> parents: 314 diff changeset	16	}
2 978a3c2ed7ce split the document into smaller pieces; Christian Urban <urbanc@in.tum.de> parents: diff changeset	17
5 e91f54791e14 minor modifiations to the Intro and FirstSteps chapters Christian Urban <urbanc@in.tum.de> parents: 2 diff changeset	18	@Book{isa-tutorial,
124 0b9fa606a746 added to the first-steps section Christian Urban <urbanc@in.tum.de> parents: 30 diff changeset	19	author = {T.~Nipkow and L.~C.~Paulson and M.~Wenzel},
5 e91f54791e14 minor modifiations to the Intro and FirstSteps chapters Christian Urban <urbanc@in.tum.de> parents: 2 diff changeset	20	title = {Isabelle/HOL: A Proof Assistant for Higher-Order Logic},
e91f54791e14 minor modifiations to the Intro and FirstSteps chapters Christian Urban <urbanc@in.tum.de> parents: 2 diff changeset	21	publisher = {Springer},
e91f54791e14 minor modifiations to the Intro and FirstSteps chapters Christian Urban <urbanc@in.tum.de> parents: 2 diff changeset	22	year = 2002,
578 69c78980c8a4 minor updated Christian Urban <urbanc@in.tum.de> parents: 567 diff changeset	23	note = {LNCS Tutorial 2283}
69c78980c8a4 minor updated Christian Urban <urbanc@in.tum.de> parents: 567 diff changeset	24	}
5 e91f54791e14 minor modifiations to the Intro and FirstSteps chapters Christian Urban <urbanc@in.tum.de> parents: 2 diff changeset	25
e91f54791e14 minor modifiations to the Intro and FirstSteps chapters Christian Urban <urbanc@in.tum.de> parents: 2 diff changeset	26	@book{paulson-ml2,
e91f54791e14 minor modifiations to the Intro and FirstSteps chapters Christian Urban <urbanc@in.tum.de> parents: 2 diff changeset	27	author = {Lawrence C. Paulson},
e91f54791e14 minor modifiations to the Intro and FirstSteps chapters Christian Urban <urbanc@in.tum.de> parents: 2 diff changeset	28	title = {{ML} for the Working Programmer},
e91f54791e14 minor modifiations to the Intro and FirstSteps chapters Christian Urban <urbanc@in.tum.de> parents: 2 diff changeset	29	year = 1996,
e91f54791e14 minor modifiations to the Intro and FirstSteps chapters Christian Urban <urbanc@in.tum.de> parents: 2 diff changeset	30	edition = {2nd},
578 69c78980c8a4 minor updated Christian Urban <urbanc@in.tum.de> parents: 567 diff changeset	31	publisher = {Cambridge University Press}
69c78980c8a4 minor updated Christian Urban <urbanc@in.tum.de> parents: 567 diff changeset	32	}
30 7b2625cea982 Added some more papers cited in the "how to write a package" chapter. berghofe parents: 17 diff changeset	33
7b2625cea982 Added some more papers cited in the "how to write a package" chapter. berghofe parents: 17 diff changeset	34	@manual{isa-imp,
124 0b9fa606a746 added to the first-steps section Christian Urban <urbanc@in.tum.de> parents: 30 diff changeset	35	author = {M.~Wenzel},
30 7b2625cea982 Added some more papers cited in the "how to write a package" chapter. berghofe parents: 17 diff changeset	36	title = {The {Isabelle/Isar} Implementation},
7b2625cea982 Added some more papers cited in the "how to write a package" chapter. berghofe parents: 17 diff changeset	37	institution = {Technische Universit\"at M\"unchen},
578 69c78980c8a4 minor updated Christian Urban <urbanc@in.tum.de> parents: 567 diff changeset	38	note = {\url{http://isabelle.in.tum.de/doc/implementation.pdf}}
69c78980c8a4 minor updated Christian Urban <urbanc@in.tum.de> parents: 567 diff changeset	39	}
124 0b9fa606a746 added to the first-steps section Christian Urban <urbanc@in.tum.de> parents: 30 diff changeset	40
0b9fa606a746 added to the first-steps section Christian Urban <urbanc@in.tum.de> parents: 30 diff changeset	41
0b9fa606a746 added to the first-steps section Christian Urban <urbanc@in.tum.de> parents: 30 diff changeset	42	@book{GordonMilnerWadsworth79,
0b9fa606a746 added to the first-steps section Christian Urban <urbanc@in.tum.de> parents: 30 diff changeset	43	author = {M.~Gordon and R.~Milner and C.~P.~Wadsworth},
0b9fa606a746 added to the first-steps section Christian Urban <urbanc@in.tum.de> parents: 30 diff changeset	44	title = {{E}dinburgh {LCF}},
0b9fa606a746 added to the first-steps section Christian Urban <urbanc@in.tum.de> parents: 30 diff changeset	45	publisher = {Springer},
0b9fa606a746 added to the first-steps section Christian Urban <urbanc@in.tum.de> parents: 30 diff changeset	46	series = {Lecture Notes in Computer Science},
0b9fa606a746 added to the first-steps section Christian Urban <urbanc@in.tum.de> parents: 30 diff changeset	47	volume = {78},
0b9fa606a746 added to the first-steps section Christian Urban <urbanc@in.tum.de> parents: 30 diff changeset	48	year = {1979}
247 afa2d9c6b3b7 added some text to the pretty-printing section Christian Urban <urbanc@in.tum.de> parents: 189 diff changeset	49	}
afa2d9c6b3b7 added some text to the pretty-printing section Christian Urban <urbanc@in.tum.de> parents: 189 diff changeset	50
afa2d9c6b3b7 added some text to the pretty-printing section Christian Urban <urbanc@in.tum.de> parents: 189 diff changeset	51	@Article{Oppen80,
afa2d9c6b3b7 added some text to the pretty-printing section Christian Urban <urbanc@in.tum.de> parents: 189 diff changeset	52	author = {D.~C.~Oppen},
afa2d9c6b3b7 added some text to the pretty-printing section Christian Urban <urbanc@in.tum.de> parents: 189 diff changeset	53	title = {Pretty Printing},
afa2d9c6b3b7 added some text to the pretty-printing section Christian Urban <urbanc@in.tum.de> parents: 189 diff changeset	54	journal = {ACM Transactions on Programming Languages and Systems},
afa2d9c6b3b7 added some text to the pretty-printing section Christian Urban <urbanc@in.tum.de> parents: 189 diff changeset	55	year = {1980},
afa2d9c6b3b7 added some text to the pretty-printing section Christian Urban <urbanc@in.tum.de> parents: 189 diff changeset	56	pages = {465--483}
afa2d9c6b3b7 added some text to the pretty-printing section Christian Urban <urbanc@in.tum.de> parents: 189 diff changeset	57	}
afa2d9c6b3b7 added some text to the pretty-printing section Christian Urban <urbanc@in.tum.de> parents: 189 diff changeset	58
314 79202e2eab6a polished Christian Urban <urbanc@in.tum.de> parents: 247 diff changeset	59	@Article{ Dyckhoff92,
79202e2eab6a polished Christian Urban <urbanc@in.tum.de> parents: 247 diff changeset	60	title = "{Contraction-Free Sequent Calculi for Intuitionistic Logic}",
79202e2eab6a polished Christian Urban <urbanc@in.tum.de> parents: 247 diff changeset	61	author = "R. Dyckhoff",
79202e2eab6a polished Christian Urban <urbanc@in.tum.de> parents: 247 diff changeset	62	journal = "The Journal of Symbolic Logic",
79202e2eab6a polished Christian Urban <urbanc@in.tum.de> parents: 247 diff changeset	63	volume = "57",
79202e2eab6a polished Christian Urban <urbanc@in.tum.de> parents: 247 diff changeset	64	number = "3",
79202e2eab6a polished Christian Urban <urbanc@in.tum.de> parents: 247 diff changeset	65	pages = "795--807",
79202e2eab6a polished Christian Urban <urbanc@in.tum.de> parents: 247 diff changeset	66	year = "1992",
79202e2eab6a polished Christian Urban <urbanc@in.tum.de> parents: 247 diff changeset	67	publisher = "JSTOR"
79202e2eab6a polished Christian Urban <urbanc@in.tum.de> parents: 247 diff changeset	68	}

author	Christian Urban <urbanc@in.tum.de>
	Tue, 11 Jun 2019 23:31:09 +0100
changeset 578	69c78980c8a4
parent 567	f7c97e64cc2a
permissions	-rw-r--r--