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

Logic, Language, Information, and Computation

Overview of attention for book
Cover of 'Logic, Language, Information, and Computation'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Word Problem for Finitely Presented Quandles is Undecidable
  3. Altmetric Badge
    Chapter 2 Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language
  4. Altmetric Badge
    Chapter 3 On Topologically Relevant Fragments of the Logic of Linear Flows of Time
  5. Altmetric Badge
    Chapter 4 An Equation-Based Classical Logic
  6. Altmetric Badge
    Chapter 5 Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing
  7. Altmetric Badge
    Chapter 6 A Dichotomy Result for Ramsey Quantifiers
  8. Altmetric Badge
    Chapter 7 Parametric polymorphism - universally
  9. Altmetric Badge
    Chapter 8 On the Weak Index Problem for Game Automata
  10. Altmetric Badge
    Chapter 9 Proof-Theoretic Aspects of the Lambek-Grishin Calculus
  11. Altmetric Badge
    Chapter 10 Syllogistic Logic with “Most”
  12. Altmetric Badge
    Chapter 11 Characterizing Frame Definability in Team Semantics via the Universal Modality
  13. Altmetric Badge
    Chapter 12 An Epistemic Separation Logic
  14. Altmetric Badge
    Chapter 13 Equational Properties of Stratified Least Fixed Points (Extended Abstract)
  15. Altmetric Badge
    Chapter 14 The p -adic Integers as Final Coalgebra
Attention for Chapter 2: Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language
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
Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language
Chapter number 2
Book title
Logic, Language, Information, and Computation
Published by
Springer, Berlin, Heidelberg, July 2015
DOI 10.1007/978-3-662-47709-0_2
Book ISBNs
978-3-66-247708-3, 978-3-66-247709-0
Authors

Liron Cohen, Robert L. Constable

View on publisher site

This page is provided by Altmetric.