Treatise on Intuitionistic Type Theory

Overview of attention for book

Cover of 'Treatise on Intuitionistic Type Theory'

Table of Contents

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

wikipedia: 6 Wikipedia pages

Citations

dimensions_citation: 21 Dimensions

Readers on

mendeley: 21 Mendeley

Summary Wikipedia Dimensions citations

So far, Dimensions has found 21 publications that cite this research output.

21

The most recent citing publications are shown below. View all 21 publications that cite this research output on Dimensions.

Imperatives in Heritage Spanish: Lexical Access and Lexical Frequency Effects

Article in Languages (September 2023)

About Opposition and Duality in Paraconsistent Type Theory

Preprint in arXiv (April 2022)

About Opposition and Duality in Paraconsistent Type Theory

Article in Electronic Proceedings in Theoretical Computer Science (April 2022)

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.