@PhdThesis{       Forsberg:2013,
  Author        = "Forsberg, Fredrik Nordvall",
  date-added    = "2019-04-13 12:39:06 +0200",
  date-modified = "2019-04-13 12:39:57 +0200",
  Keywords      = "induction-induction and induction-recursion",
  School        = "Swansea University",
  Title         = "Inductive-inductive definitions",
  Year          = "2013",
  File          = "phdThesisForsberg (0) (0) - a - a - e.pdf",
  file-2        = "dybjer60thBirthdayGothenburgJune2013 (0) (0) - a - a - e.pdf"
}

@PhdThesis{ Forsberg:2013, Author = "Forsberg, Fredrik Nordvall", date-added = "2019-04-13 12:39:06 +0200", date-modified = "2019-04-13 12:39:57 +0200", Keywords = "induction-induction and induction-recursion", School = "Swansea University", Title = "Inductive-inductive definitions", Year = "2013", File = "phdThesisForsberg (0) (0) - a - a - e.pdf", file-2 = "dybjer60thBirthdayGothenburgJune2013 (0) (0) - a - a - e.pdf" }