Mathematically Structured Programming

Research output

Research output per year 2008 2009 2012 2013 2014 2015 2017 2018 2020 2021 2022 2023

• 83 Conference contribution book
• 56 Article
• 8 Chapter
• 8 Paper
• 19 More
  • 4 Conference Contribution
  • 3 Special issue
  • 2 Anthology
  • 2 Working paper
  • 1 Book
  • 1 Other chapter contribution
  • 1 Chapter (peer-reviewed)
  • 1 Conference article
  • 1 Review article
  • 1 Doctoral Thesis
  • 1 Master's Thesis
  • 1 Working Paper/Preprint

Research output per year

Research output per year

Search results

• 2013

  Inductive-inductive definitions

  Nordvall Forsberg, F., 2013

  Research output: Thesis › Doctoral Thesis

  • Inductive Definitions 100%
  • Type Theory 50%
  • Elimination 26%
  • Axiomatization 19%
  • Syntax 17%