Simple Type Theory
William Farmer
₹4,150
Results for “Type theory”
Showing 1–24 of 49 books
Modal Homotopy Type Theory
David Corfield
₹11,373
Basic Simple Type Theory
J. Roger Hindley, J. Roger Hindley, C. J. Van Rijsbergen
₹4,330
Basic Simple Type Theory
J. Roger Hindley
₹4,478
Semantics of Type Theory
T. Streicher
₹6,614
The Type Theory of Law
Marko Novak
₹4,206
The Type Theory of Law
Marko Novak
₹2,759
Introduction to Homotopy Type Theory
Egbert Rijke
₹5,441
Categorical Logic and Type Theory
Bart Jacobs
₹8,367
Type Theory and Formal Proof
Nederpelt
₹4,838
History and Philosophy of Constructive Type Theory
Giovanni Sommaruga
₹11,562
Introduction to Mathematical Logic and Type Theory
Peter B. Andrews
₹3,438
An Introduction to Mathematical Logic and Type Theory
Peter B. Andrews
₹7,373
An Introduction to Mathematical Logic and Type Theory
Peter B. Andrews
₹3,494
Theory of Type Design
Gerard Unger
₹3,400
Theory of Logical Types
Irving M. Copi
₹5,136
Korovkin-type Approximation Theory and Its Applications
Francesco Altomare, Michele Campiti
₹4,732
Fixed Point Theory in Metric Type Spaces
Ravi P. Agarwal, Donal O’Regan, Erdal KARAPINAR, Antonio Francisco Roldán-López-de-Hierro
₹8,533
The Clausal Theory of Types
D. A. Wolfram
₹3,298
Five Types of Ethical Theory
C.D. Broad
₹4,970
The Clausal Theory of Types
D. A. Wolfram
₹5,410
Five Types of Ethical Theory
C. D. Broad
₹4,327
Fixed Point Theory for Lipschitzian-Type Mappings with Applications
Ravi P. Agarwal, Donal O'Regan, D. R. Sahu
₹4,995
The Character Theory of Finite Groups of Lie Type
Meinolf Geck, Gunter Malle
₹5,470