Swansea University
Computer Science

BibTeX entries

Back to home page.
Download them all in fnf.bib.

@PHDTHESIS{nordvallforsberg2013thesis,
  author = {Nordvall Forsberg, Fredrik},
  title = {Inductive-inductive definitions},
  school = {Swansea University},
  year = {2013}
}
@INPROCEEDINGS{GhaniMalatestaNordvallforsbergSetzer2013positiveIR,
  author = {Ghani, Neil and Malatesta, Lorenzo and Nordvall Forsberg, Fredrik},
  title = {Positive Inductive-Recursive Definitions},
  booktitle = {CALCO 2013},
  editor = {Heckel, Reiko and Milius, Stefan},
  series = {Lecture Notes in Computer Science},
  volume = {8089},
  pages = {19 -- 33},
  publisher = {Springer, Heidelberg},
  year = {2013}
}
@INPROCEEDINGS{GhaniMalatestaNordvallforsbergSetzer2013fibredData,
  author = {Ghani, Neil and Malatesta, Lorenzo and Nordvall Forsberg, Fredrik and Setzer, Anton},
  title = {Fibred Data Types},
  booktitle = {LICS 2013},
  pages = {243 -- 252},
  year = {2013}
}
@INPROCEEDINGS{miyamotoNordvallforsbergSchwichtenberg2013nestedPE,
  author = {Miyamoto, Kenji and Nordvall Forsberg, Fredrik and Schwichtenberg, Helmut},
  title = {Program Extraction from Nested Definitions},
  booktitle = {ITP 2013},
  editor = {Blazy, Sandrine and Paulin-Mohring, Christine and Pichardie, David},
  series = {Lecture Notes in Computer Science},
  volume = {7998},
  pages = {370 -- 385},
  publisher = {Springer, Heidelberg},
  year = {2013}
}
@INCOLLECTION{nordvallforsbergSetzer2012finIndind,
  author = {Nordvall Forsberg, Fredrik and Setzer, Anton},
  title = {A finite axiomatisation of inductive-inductive definitions},
  booktitle = {Logic, Construction, Computation},
  publisher = {Ontos Verlag},
  year = {2012},
  editor = {Berger, Ulrich and Diener Hannes and  Schuster, Peter and Seisenberger, Monika},
  volume = {3},
  series = {Ontos mathematical logic},
  pages = {259 -- 287}
}
@INPROCEEDINGS{altenkirchMorrisNordvallforsbergSetzer2011indindCatsem,
  author = {Altenkirch, Thorsten and Morris, Peter and Nordvall Forsberg, Fredrik
	and Setzer, Anton},
  title = {A categorical semantics for inductive-inductive definitions},
  booktitle = {CALCO 2011},
  year = {2011},
  editor = {Corradini, Andrea and Klin, Bartek and Cirstea, Corina},
  series = {Lecture Notes in Computer Science},
  volume = {6859},
  pages = {70 -- 84},
  publisher = {Springer, Heidelberg}
}
@INPROCEEDINGS{nordvallforsbergSetzer2010inductiveinductive,
  author = {Nordvall Forsberg, Fredrik and Setzer, Anton},
  title = {Inductive-Inductive Definitions},
  booktitle = {CSL 2010},
  year = {2010},
  editor = {Dawar, Anuj and Veith, Helmut},
  series = {Lecture Notes in Computer Science},
  volume = {6247},
  pages = {454 -- 468},
  publisher = {Springer, Heidelberg}
}
@MASTERSTHESIS{nordvallforsberg2009MScthesis,
  author = {Nordvall Forsberg, Fredrik},
  title = {Constructive aspects of models for non-standard analysis},
  school = {Uppsala University},
  year = {2009}
}

Fredrik Nordvall Forsberg. Last modified: Thu 20 Feb 12:42:31 UTC 2014.