Travelled to:1 × Czech Republic
1 × Poland
1 × USA
Collaborated with:A.Setzer N.Ghani L.Malatesta R.Atkey T.Revell S.Staton
Talks about:induct (2) polymorph (1) definit (1) physic (1) dimens (1) model (1) type (1) fibr (1) data (1)
Person: Fredrik Nordvall Forsberg
DBLP: Forsberg:Fredrik_Nordvall
Contributed to:
2015
2013
2010Wrote 3 papers:
- TLCA-2015-AtkeyGFRS #modelling #morphism #physics #polymorphism
- Models for Polymorphism over Physical Dimension (RA, NG, FNF, TR, SS), pp. 45–59.
- LICS-2013-GhaniMFS #data type
- Fibred Data Types (NG, LM, FNF, AS), pp. 243–252.
- CSL-2010-ForsbergS #induction
- Inductive-Inductive Definitions (FNF, AS), pp. 454–468.