↓ Skip to main content
What is this page? Embed badge

Simple Type Theory

Overview of attention for book
Cover of 'Simple Type Theory'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction
  3. Altmetric Badge
    Chapter 2 Answers to Readers’ Questions
  4. Altmetric Badge
    Chapter 3 Preliminary Concepts
  5. Altmetric Badge
    Chapter 4 Syntax
  6. Altmetric Badge
    Chapter 5 Semantics
  7. Altmetric Badge
    Chapter 6 Additional Notation
  8. Altmetric Badge
    Chapter 7 Beta-Reduction and Substitution
  9. Altmetric Badge
    Chapter 8 Proof Systems
  10. Altmetric Badge
    Chapter 9 Theories
  11. Altmetric Badge
    Chapter 10 Sequences
  12. Altmetric Badge
    Chapter 11 Developments
  13. Altmetric Badge
    Chapter 12 Real Number Mathematics
  14. Altmetric Badge
    Chapter 13 Morphisms
  15. Altmetric Badge
    Chapter 14 Alonzo Variants
  16. Altmetric Badge
    Chapter 15 Software Support
Attention for Chapter 15: Software Support
Altmetric Badge
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Software Support
Chapter number 15
Book title
Simple Type Theory
Published by
Birkhäuser, Cham, January 2023
DOI 10.1007/978-3-031-21112-6_15
Book ISBNs
978-3-03-121111-9, 978-3-03-121112-6
Authors

Farmer, William M.

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

This page is provided by Altmetric.