Fredrik Nordvall Forsberg

PhD Student

I am a PhD student under the supervision of Anton Setzer, working in type theory.

Did you know that forgetting words in a foreign language has a left adjoint? To translate freely.

You can find my CV here.

Seminar series on categorical logic

We are running a seminar series on categorical logic this term. More information here.

Publications

• F. Nordvall Forsberg, A. Setzer: A finite axiomatisation of inductive-inductive definitions
  To appear in the Schwichtenberg Festschrift.
  [BibTeX] [PDF]
• T. Altenkirch, P. Morris, F. Nordvall Forsberg, A. Setzer: A categorical semantics for inductive-inductive definitions
  CALCO 2011 The original publication is available at www.springerlink.com.
  [BibTeX] [PDF]
• F. Nordvall Forsberg, A. Setzer: Inductive-inductive definitions
  CSL 2010. The original publication is available at www.springerlink.com.
  [BibTeX] [PDF] [Extended version and Agda development]
• Magister thesis: Constructive aspects of models for non-standard analysis
  U.U.D.M. Project report 2009:10, Uppsala University, 2009.
  [BibTeX] [PDF]

Selected talks

	Elimination principles for initial dialgebras. TYPES 2011, Bergen, Norway. [Slides]
	A categorical semantics for inductive-inductive definitions. CALCO 2011, Winchester, UK. [Slides]
	Interpreting inductive-inductive definitions as indexed inductive definitions. TYPES 2010, Warsaw, Poland. [Slides]
	Formalising inductive-inductive definitions. Invited participant, Program Extraction and Constructive Proofs 2010, Brno, Czech Republic. [Slides]
	Inductive-inductive definitions. BCTCS 2010, Edinburgh, UK. [Abstract] [Slides]