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

Research Output 2009 2019

2019
Open Access
File
Game theory
Probability distributions

Universal properties for universal types in bifibrational parametricity

Ghani, N., Nordvall Forsberg, F. & Orsanigo, F., 30 Jun 2019, In : Mathematical Structures in Computer Science. 29, 6, p. 810–827 18 p.

Research output: Contribution to journalArticle

Open Access
File
Uniformity
Lemma
Semantics
Theorem
Model
2018
2 Citations (Scopus)

A compositional treatment of iterated open games

Ghani, N., Kupke, C., Lambert, A. & Nordvall Forsberg, F., 12 Sep 2018, In : Theoretical Computer Science. 741, p. 48-57 10 p.

Research output: Contribution to journalArticle

Open Access
File
Game
Economics
Game theory
Infinite Games
Compositionality
1 Citation (Scopus)

Optimization strategies for integration pattern compositions

Ritter, D., May, N., Nordvall Forsberg, F. & Rinderle-Ma, S., 17 Apr 2018, (Accepted/In press) 12th ACM International Conference on Distributed and Event-based Systems (DEBS). New York, 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Chemical analysis
Industry
4 Citations (Scopus)

Quotient inductive-inductive types

Altenkirch, T., Capriotti, P., Dijkstra, G., Kraus, N. & Nordvall Forsberg, F., 14 Apr 2018, Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Baier, C. & Dal Lago, U. (eds.). Cham, p. 293-310 18 p. (Lecture Notes in Computer Science; vol. 10803).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Algebra
Semantics
2017

Variations on inductive-recursive definitions

Ghani, N., McBride, C., Nordvall Forsberg, F. & Spahn, S., 30 Nov 2017, Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science. Germany, 13 p. 63. (Leibniz International Proceedings in Informatics ).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Algebra
Chemical analysis
2016
1 Citation (Scopus)

Comprehensive parametric polymorphism: categorical models and type theory

Ghani, N., Nordvall Forsberg, F. & Simpson, A., 22 Mar 2016, Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Jacobs, B. & Löding, C. (eds.). Vol. 9634. p. 3-19 17 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Polymorphism
2 Citations (Scopus)

Proof-relevant parametricity

Ghani, N., Nordvall Forsberg, F. & Orsanigo, F., 25 Mar 2016, A List of Successes That Can Change the World. Lindley, S., McBride, C., Trinder, P. & Sannella, D. (eds.). Switzerland: Springer-Verlag, p. 109-131 23 p. (Lecture Notes in Computer Science; vol. 9600).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Computer programming languages
Type Theory
Programming Languages
High-dimensional
Express
2015
1 Citation (Scopus)

Bifibrational functorial semantics of parametric polymorphism

Ghani, N., Johann, P., Forsberg, F. N., Orsanigo, F. & Revell, T., 21 Dec 2015, In : Electronic Notes in Theoretical Computer Science. 319, p. 165-181 17 p.

Research output: Contribution to journalArticle

Open Access
File
Polymorphism
Semantics
Categorical
Invariance
Algebra
1 Citation (Scopus)

Extracting verified decision procedures: DPLL and resolution

Berger, U., Lawrence, A., Nordvall Forsberg, F. & Seisenberger, M., 10 Mar 2015, In : Logical Methods in Computer Science. 11, 1, 18 p., 6.

Research output: Contribution to journalArticle

Open Access
File
Decision Procedures
Proof System
Interactive Proofs
Conjunctive Normal Form
Haskell

Models for polymorphism over physical dimensions

Atkey, R., Ghani, N., Nordvall Forsberg, F., Revell, T. & Staton, S., 2015, 13th International Conference on Typed Lambda Calculi and Applications (TLCA'15). Altenkirch, T. (ed.). Wadern, Germany , p. 999-1013 15 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Type Theory
Polymorphism
Relational Model
Fibration
Group Action
4 Citations (Scopus)

Parametric polymorphism - universally

Ghani, N., Nordvall Forsberg, F. & Orsanigo, F., 24 Jun 2015, Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings. de Paiva, V., de Queiroz, R., Moss, L. S., Leivant, D. & de Oliveira, A. G. (eds.). p. 81-92 12 p. (Lecture Notes in Computer Science; vol. 9160).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Polymorphism
Semantics

Positive inductive-recursive definitions

Ghani, N., Nordvall Forsberg, F. & Malatesta, L., 27 Mar 2015, In : Logical Methods in Computer Science. 11, 1, 13.

Research output: Contribution to journalArticle

Open Access
File
Recursive functions
Algebra
Functor
Morphisms
Recursive Functions
2013
2 Citations (Scopus)

Fibred data types

Ghani, N., Malatesta, L., Nordvall Forsberg, F. & Setzer, A., 2013, 2013 28th annual IEEE/ACM symposium on logic in computer science (LICS). New York: IEEE, p. 243-252 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Semantics
Set theory
Computer programming languages
Data structures

Inductive-inductive definitions

Nordvall Forsberg, F., 2013

Research output: ThesisDoctoral Thesis

Inductive Definitions
Towers
Type Theory
Elimination
Axiomatization

Positive inductive-recursive definitions

Ghani, N., Malatesta, L. & Nordvall Forsberg, F., 8 Aug 2013, Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings. Heckel, R. & Milius, S. (eds.). Berlin, p. 19-33 15 p. (Lecture Notes in Computer Science; vol. 8089).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Algebra
5 Citations (Scopus)

Program extraction from nested definitions

Miyamoto, K., Nordvall Forsberg, F. & Schwichtenberg, H., 19 Jul 2013, Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings. Blazy, S., Paulin-Mohring, C. & Pichardie, D. (eds.). Berlin, p. 370-385 16 p. (Lecture Notes in Computer Science; vol. 7998).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

2012

A finite axiomatisation of inductive-inductive definitions

Nordvall Forsberg, F. & Setzer, A., 2012, Logic, Construction, Computation. Berger, U., Hannes, D., Schuster, P. & Seisenberger, M. (eds.). Vol. 3. p. 259 - 287 (Ontos mathematical logic).

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

Inductive Definitions
Axiomatization
Proof by induction
2011
6 Citations (Scopus)

A categorical semantics for inductive-inductive definitions

Altenkirch, T., Morris, P., Nordvall Forsberg, F. & Setzer, A., 19 Aug 2011, Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Corradini, A., Klin, B. & Cîrstea, C. (eds.). Berlin, p. 70-84 15 p. (Lecture Notes in Computer Science; vol. 6859).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Algebra
Semantics
2010
9 Citations (Scopus)

Inductive-inductive definitions

Nordvall Forsberg, F. & Setzer, A., 11 Aug 2010, Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings. Dawar, A. & Veith, H. (eds.). Berlin, p. 454-468 15 p. (Lecture Notes in Computer Science; vol. 6247).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

2009

Constructive aspects of models for non-standard analysis

Nordvall Forsberg, F., 2009, 56 p.

Research output: ThesisMaster's Thesis

Nonstandard Analysis
Filter
Ultraproduct
Ultrafilter
Boundedness