Modal Homotopy Type Theory

By:

Corfield

Material type:

TextLanguage: English Publication details: Oxford University PressOxford University Press 2020ISBN:

9780191888069

Other classification:

Online resources:

Click here to access online

Item type:

eBooks

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
Cover image	Item type	Current library	Home library	Collection	Shelving location	Call number	Materials specified	Vol info	URL	Copy number	Status	Notes	Date due	Barcode	Item holds	Item hold queue priority	Course reserves
	eBooks	Central Library	Central Library								Available			CL1903098

There are no comments on this title.

to post a comment.

Back to results

751 Human reliability, error, and human factors in engineering maintenance with reference to aviation and power generation
by Dhillon B S
752 Humans and Cyber Security
by Amanda Widdowson
753 Hypoxia in neonates
by Ponnu Sudha Xavier Raj
754 Identification, purification and characterization of novel trans-acting factors involved in c-jun gene transcription from normal and regenerating rat liver (Supervisor
by Sharma Dipali
755 Identiy of the adoloscent girls
by Sharma Neerja
756 Identiy of the adoloscent girls
by Sharma Neerja
757 Impact of behavioral factors and theories on investment decisions: An empirical study
by Malhotra Deepali Au.
758 The Impact of Demographics on Health and Health Care: Race, Ethnicity and Other Social Factors
759 Impasse and Interpretation
by Herbert Rosenfeld
760 Implementing Virtual Teams
by Abigail Edwards; John R. Wilson
761 Improving academic achievement
by Aronson Joshua Ed.
762 Improving academic achievement: Impact of psychological factors on education
by Aronson Joshua Ed.
763 Incidence of cirrhosis of the liver in Delhi State and study of associated aetiological and other factors - Results of treatment
by Mukhopadhyay Syamsunder
764 Incidence of cirrhosis of the liver in Delhi State and study of associated aetiological and other factors - Results of treatment
by Mukhopadhyay Syamsunder
765 Incidence, etiology and risk factors of ventilator associated pneumonia in pediatric intensive care unit
by Sharma Meenakshi Au.
766 Incisional hernia
by Chejara Raj Kumar
767 Incisional hernia
by Chejara Raj Kumar
768 Increasing Competence Through Collaborative Problem-Solving
by Gerda Hanko
769 India's changing farmers
by Rangaswamy P
770 India's changing farmers
by Rangaswamy P
771 India's changing villagers
by Dube S C
772 India's changing villagers
by Dube S C
773 India's changing villagers
by Dube S C
774 India's changing villagers
by Dube S C
775 India's changing villagers
by Dube S C
776 India's changing villagers
by Dube S C
777 India's changing villagers
by Dube S C
778 India's changing villagers
by Dube S C
779 India's changing villagers
by Dube S C
780 India's changing villagers
by Dube S C
781 India's changing villagers
by Dube S C
782 India's changing villagers
by Dube S C
783 India's changing villagers
by Dube S C
784 India's changing villagers
by Dube S C
785 India's changing villagers
by Dube S C
786 India's changing villagers
by Dube S C
787 India's changing villagers
by Dube S C
788 India's changing villagers
by Dube S C
789 India's changing villagers
by Dube S C
790 India's changing villagers
by Dube S C
791 India's changing villagers
by Dube S C
792 India's changing villagers
by Dube S C
793 India's changing villagers
by Dube S C
794 India's changing villagers
by Dube S C
795 India's changing villagers
by Dube S C
796 India's changing villagers
by Dube S C
797 India's changing villagers
by Dube S C
798 India's changing villagers
by Dube S C
799 India's changing villagers
by Dube S C
800 India's changing villagers
by Dube S C