Search Results

Documents authored by Nordström, Bengt


Document
Complete Volume
LIPIcs, Volume 19, TYPES'11, Complete Volume

Authors: Nils Anders Danielsson and Bengt Nordström

Published in: LIPIcs, Volume 19, 18th International Workshop on Types for Proofs and Programs (TYPES 2011)


Abstract
LIPIcs, Volume 19, TYPES'11, Complete Volume

Cite as

18th International Workshop on Types for Proofs and Programs (TYPES 2011). Leibniz International Proceedings in Informatics (LIPIcs), Volume 19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@Proceedings{danielsson_et_al:LIPIcs.TYPES.2011,
  title =	{{LIPIcs, Volume 19, TYPES'11, Complete Volume}},
  booktitle =	{18th International Workshop on Types for Proofs and Programs (TYPES 2011)},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-49-1},
  ISSN =	{1868-8969},
  year =	{2013},
  volume =	{19},
  editor =	{Danielsson, Nils Anders and Nordstr\"{o}m, Bengt},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2011},
  URN =		{urn:nbn:de:0030-drops-41132},
  doi =		{10.4230/LIPIcs.TYPES.2011},
  annote =	{Keywords: Applicative (Functional) Programming, Software/Program Verification, Specifying and Verifying and Reasoning about Programs, Mathematical Logic}
}
Document
Front Matter
Frontmatter, Table of Contents, Preface, Workshop Organization

Authors: Nils Anders Danielsson and Bengt Nordström

Published in: LIPIcs, Volume 19, 18th International Workshop on Types for Proofs and Programs (TYPES 2011)


Abstract
Frontmatter, Table of Contents, Preface, Workshop Organization

Cite as

18th International Workshop on Types for Proofs and Programs (TYPES 2011). Leibniz International Proceedings in Informatics (LIPIcs), Volume 19, pp. i-vii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@InProceedings{danielsson_et_al:LIPIcs.TYPES.2011.i,
  author =	{Danielsson, Nils Anders and Nordstr\"{o}m, Bengt},
  title =	{{Frontmatter, Table of Contents, Preface, Workshop Organization}},
  booktitle =	{18th International Workshop on Types for Proofs and Programs (TYPES 2011)},
  pages =	{i--vii},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-49-1},
  ISSN =	{1868-8969},
  year =	{2013},
  volume =	{19},
  editor =	{Danielsson, Nils Anders and Nordstr\"{o}m, Bengt},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2011.i},
  URN =		{urn:nbn:de:0030-drops-38957},
  doi =		{10.4230/LIPIcs.TYPES.2011.i},
  annote =	{Keywords: Frontmatter, Table of Contents, Preface, Workshop Organization}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail