Dybjer, Peter.
Dybjer, Peter, 1953-
Dybjer, Peter, 19..-....
Peter Dybjer švédský profesor informatiky zaměřený na logickou sémantiku a programovací jazyky
VIAF ID: 42525717 ( Personal )
Permalink: http://viaf.org/viaf/42525717
Preferred Forms
-
-
- 100 1 0 ‡a Dybjer, Peter
- 100 1 _ ‡a Dybjer, Peter
-
-
-
- 100 1 _ ‡a Dybjer, Peter ‡d 1953-
- 100 1 _ ‡a Dybjer, Peter ‡d 1953-
- 100 1 _ ‡a Dybjer, Peter, ‡d 19..-....
- 100 1 _ ‡a Dybjer, Peter, ‡d 1953-
-
-
- 100 0 _ ‡a Peter Dybjer ‡c švédský profesor informatiky zaměřený na logickou sémantiku a programovací jazyky
Works
Title | Sources |
---|---|
Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September 9–15, 2000 : advanced lectures | |
Category-theoretic logics and algebras of programs | |
Category Theory and Computer Science : Manchester, UK, September 5–8, 1989 Proceedings | |
Cubical models are cofreely parametric | |
Epistemology versus ontology : essays on the philosophy and foundations of mathematics in honour of Per Martin-Löf | |
Inductive sets and families in Martin-Löf's type theory and their set-theoretic semantics | |
Informal proceedings of the joint CLICS-TYPES Workshop on Categories and Type Theory : [Göteborg], January 8-10, 1995 | |
Inverse image analysis generalises strictness analysis | |
Les modèles cubiques sont colibrement paramétriques. | |
Programming logic : proceedings of the Workshop on ..., Marstrand, June 1-4, 1987 | |
Semantics and logics of computation, 1997: | |
Specification and derivation of programs : proceedings | |
Types for proofs and programs : international workshop TYPES'94, Bastad, Sweden, June 6-10, 1994 : selected papers | |
TYPES'94 |