登入選單
Google圖書搜尋
Some Results on the Deductive Structure of Join De...
作者
Peter Dybjer
出版1984
ISBN
OCLC:475928163
主題
Data structures (Computer science)
Domain Algebras
作者
Peter Dybjer
出版1984
ISBN
OCLC:185414549
Inverse Image Analysis
作者
Peter Dybjer
出版1987
ISBN
OCLC:475907601
Category-theoretic Logics and Algebras of Programs
作者
Peter Dybjer
出版1983
ISBN
9170320888 / 9789170320880
Category Theory and Programming Language Semantics
作者
Peter Dybjer
出版1986
ISBN
OCLC:17679374
主題
Categories (Mathematics)
Comparing Integrated and External Logics of Functi...
作者
Peter Dybjer
出版1989
ISBN
OCLC:186103203
Program Verification in a Logical Theory of Constr...
作者
Peter Dybjer
出版1986
ISBN
OCLC:475927990
主題
Constructive mathematics
Using Domain Algebras to Prove the Correctness of ...
作者
Peter Dybjer
出版1985
ISBN
OCLC:475928171
主題
Algebraic logic
Inductive Sets and Families in Martin-Loef's Type ...
作者
Peter Dybjer
出版1991
ISBN
OCLC:989569596
Types for Proofs and Programs
作者
Peter Dybjer / Bengt Nordström / Jan Smith
出版Springer Science & Business Media, 1995-10-18
ISBN
3540605797 / 9783540605799
主題
Computers
A Functional Programming Approach to the Specifica...
作者
Peter Dybjer / Herbert P. Sander
出版1989
ISBN
OCLC:186103159
Inductive Sets and Families in Martin-Löf's Type T...
作者
Peter Dybjer / Chalmers tekniska högskola / Göteborgs universitet
出版1991
ISBN
OCLC:186052680
主題
Type theory
Programming Logic
作者
University of Goteborg / Programming methodology group at the department of computer sciences at Chalmers technical university
出版1987
ISBN
OCLC:493548685
Mathematical Proofs in Natural Language
作者
Peter Dybjer
出版1982
ISBN
OCLC:185414714
A Structural Inducation Principle for Domains
作者
Peter Dybjer
出版1982
ISBN
OCLC:185524132
A Category Theoretic Approach to Predicates on Sco...
作者
Peter Dybjer
出版1982
ISBN
OCLC:185524139
Comparing Intergrated [sic] and External Logics of...
作者
Peter Dybjer / Chalmers tekniska högskola / Göteborgs universitet
出版1989
ISBN
OCLC:25608414
主題
Functional programming (Computer science)
Proceedings of El Wintermöte
作者
Peter Dybjer / J. Hughes / Programming Methodology Group (Göteborg). Winter Meeting / A. Moran
出版1993
ISBN
OCLC:181858721
主題
Computer programming
TYPES FOR PROOFS AND PROGRAMS
作者
Peter Dybjer / Bengt Nordstrom
出版1995
ISBN
OCLC:878758070
Types for Proofs and Programs
出版1995
ISBN
OCLC:964312032
Types for Proofs and Programs
出版1995
ISBN
OCLC:964312032
Inverse Image Analysis Generalises Strictness Anal...
作者
Peter Dybjer / Chalmers tekniska högskola / Göteborgs universitet
出版1991
ISBN
OCLC:186321727
主題
Functional programming (Computer science)