"Categorical Models for Intuitionistic and Linear Type Theory"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Categorical logic and type theory	Bart Jacobs	1998	Elsevier
Treatise on Intuitionistic Type Theory	Johan Georg Granström	2011	Springer Netherlands
Generalized Linear Models for Categorical and Continuous Limited Dependent Variables	Michael Smithson; Edgar C. Merkle	2013	Routledge
Theory of Linear Models	Bent Jorgensen	1993	Routledge
Bayesian Models for Categorical Data	Peter Congdon	2005	John Wiley & Sons
Analyzing qualitative/categorical data: log-linear models and latent-structure analysis	Leo A. Goodman	1978	Abt Books
Advanced Linear Models: Theory and Applications	Shein-Chung Chow	1994	Routledge
Advanced linear models: theory and applications /	Wang, Songgui.; Chow, Shein-Chung,	[1994], ©1994.	M. Dekker,
Regression Models for Categorical and Count Data	Peter Martin	May 2022	SAGE Publications Ltd
Intuitionistic Set Theory	John L. Bell	2014	College Publications
Stochastic Linear Programming: Models, Theory, and Computation	Peter Kall; János Mayer	2005	Springer US
Stochastic Linear Programming: Models, Theory, and Computation	Peter Kall; János Mayer	2nd ed. 2011	Springer US
Stochastic linear programming: models, theory, and computation /	Kall, Peter.; Mayer, János.	[2005], ©2005.	Springer Science,
Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations	Gemma Robles and José M. Méndez	2018	Academic Press
Optimal Experimental Design for Non-Linear Models: Theory and Applications	Christos P. Kitsos	2013	Springer Berlin Heidelberg
The theory of linear economic models	David Gale	1960	McGraw-Hill
The theory of linear economic models.	David Gale	1960	McGraw-Hill
Proof Theory and Intuitionistic Systems	Bruno Scarpellini	1971	Springer Berlin Heidelberg
Regression Models for Categorical and Limited Dependent Variables	J. Scott Long	January 1997	SAGE Publications, Inc
Regression models for categorical and limited dependent variables /	Long, J. Scott.	[1997], ©1997.	Sage Publications,
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Categorical Models for Intuitionistic and Linear Type Theory	Maria Emilia Maietti; Valeria de Paiva; Eike Ritter	Foundation of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings	Jerzy Tiuryn	2000	Springer Berlin Heidelberg
Intuitionistic Type Theory	W. S. Anglin; J. Lambek	The Heritage of Thales	W.S. Anglin; J. Lambek	1995	Springer New York
9 - Intuitionistic Type Theory		Computation, Proof, Machine: Mathematics Enters a New Age	Gilles Dowek; Pierre Guillot; Marion Roman	2015-05	Cambridge University Press
1 Intuitionistic type theory		Introduction to Higher Order Categorical Logic	J. Lambek, P. J. Scott	1988	Cambridge University Press
1 Intuitionistic type theory		Introduction to Higher-Order Categorical Logic	J. Lambek, P. J. Scott	1988	Cambridge University Press
1 Intuitionistic type theory		Introduction to Higher-Order Categorical Logic	J. Lambek, P.J. Scott	1986	Cambridge University Press
Hauptsatz for Intuitionistic Simple Type Theory		Logic, Methodology and Philosophy of Science IV: Proceedings Bucharest, 1971	Suppes P., Henkin L., Joja A., Moisil G.C. (eds.)	1973	Elsevier Science
Hauptsatz for Intuitionistic Simple Type Theory		Logic, Methodology and Philosophy of Science IV	P. Suppes, et al	0	Elsevier, Academic Press
Comprehensive Parametric Polymorphism: Categorical Models and Type Theory	Neil Ghani; Fredrik Nordvall Forsberg; Alex Simpson	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	Bart Jacobs; Christof Löding	1st ed. 2016	Springer Berlin Heidelberg
Logical Predicates for Intuitionistic Linear Type Theories	Masahito Hasegawa	Typed Lambda Calculi and Applications: 4th International Conference, TLCA' 99, L' Aquila, Italy, April 7-9, 1999, Proceedings	Jean-Yves Girard	1999	Springer Berlin Heidelberg
Generalised Linear Models For Categorical Data	Larry O&s; Brien	Introducing Quantitative Geography: Measurement, Methods and Generalised Linear Models	Larry O&s; Brien	1992	Routledge
9. Linear Models for Categorical Data		Applied multivariate data analysis /	Everitt, Brian.; Dunn, G.; Everitt, Brian.	1991.	Halsted Press,
Theory for Linear Models	David J. Olive	Linear Regression	David J. Olive	1st ed. 2017	Springer International Publishing
Categorical and non-linear regression models		Practical data analysis with JMP	Robert Carver	2010	SAS Institute
-Categorical data and generalized linear models		Regression Models For Categorical, Count, And Related Variables: An Applied Approach	John P. Hoffmann	August 16, 2016	University of California Press
Linear Models of Categorical Variables	D. Denteneer	COMPSTAT: Proceedings in Computational Statistics, 7th Symposium held in Rome 1986	F. de Antoni; N. Lauro; A. Rizzi	1986	Physica-Verlag HD
Heyting-valued models for intuitionistic set theory	R. J. Grayson	Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra and Analysis, Durham, July 9-21, 1977	M. P. Fourman; C. J. Mulvey; D. S. Scott	1979	Springer Berlin Heidelberg
18 MyhillEmbedding classical type theory in 'intuitionistic' type theory		Axiomatic Set Theory, Volume 1 (Symposium in Pure Mathematics Los Angeles July, 1967)	Jech, T.J; Scott, D.	1967	American Mathematical Soc.
Program construction in intuitionistic Type Theory	Thierry Coquand	Mathematics of Program Construction: Third International Conference, MPC ' 95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings	Bernhard Möller	1995	Springer Berlin Heidelberg
Log-Linear and Logistic Models for Categorical Multivariate Data	Brian S. Everitt; Graham Dunn	Applied Multivariate Data Analysis 2e	Brian S. Everitt	2010	John Wiley & Sons
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Categorical Models for Intuitionistic and Linear Type Theory" - similar Books and Chapters