External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language

Liron Cohen, Robert L. Constable. Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language. In Valeria de Paiva, Ruy J. G. B. de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina Grisi de Oliveira, editors, Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings. Volume 9160 of Lecture Notes in Computer Science, pages 14-26, Springer, 2015. [doi]

Authors

Liron Cohen

This author has not been identified. Look up 'Liron Cohen' in Google

Robert L. Constable

This author has not been identified. Look up 'Robert L. Constable' in Google
runs on