If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Fredrik Nordvall Forsberg is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Mathematics

Inductive Definitions
Type Theory
Polymorphism
Axiomatization
Nonstandard Analysis
Model
Decision Procedures
Categorical
Proof System
Proof by induction
Lemma
Fibration
Game
Coalgebra
Theorem
Invariance
Functor
Elimination
Uniformity
Filter
Ultraproduct
Programming Languages
Imply
Representation of data
Ultrafilter
Morphisms
Relational Model
High-dimensional
Express
Programming
Formalization
Economics
Infinite Games
Group Action
Interactive Proofs
Conjunctive Normal Form
Algebra
Compositionality
Simple Game
Haskell
Invariant
Boundedness
Output
Satisfiability Problem
Quantifiers
Game Theory
Semantics
Recursive Functions
Scaling

Engineering & Materials Science

Algebra
Polymorphism
Semantics
Game theory
Computer programming languages
Recursive functions
Chemical analysis
Probability distributions
Towers
Invariance
Set theory
Data structures
Economics
Computer science
Industry