Search algorithms in type theory
type: Item
instance of: scholarly article
title: Search algorithms in type theory
zbMATH Open document ID: 0951.68147
DOI: 10.1016/S0304-3975(99)00170-X
author: James Caldwell
author: Ian P. Gent
author: Judith L. Underwood
published in: Theoretical Computer Science
publication date: 2000-08-23T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1495209
zbMATH Keywords: search procedures
zbMATH Keywords: type theory
describes a project that uses: LEGO
describes a project that uses: Nuprl
MaRDI profile type: Publication
cites work: Q4281464
cites work: A symmetric lambda calculus for classical program extraction
cites work: Principles and practice of constraint programming -- CP '96. Second international conference, CP '96, Cambridge, MA, USA, August 19--22, 1996. Proceedings
cites work: Q4247075
cites work: Q4012216
cites work: Q3484381
cites work: The calculus of constructions
cites work: Q3339256
cites work: Q4198056
cites work: Q4386920
cites work: A theoretical evaluation of selected backtracking algorithms.
cites work: Q4296744
cites work: Algorithm 595: An Enumerative Algorithm for Finding Hamiltonian Circuits in a Directed Graph
cites work: Q4255509
cites work: Q5560258
Recommended article: Two algorithms in search of a type-system
Recommended article: Proof-search in type-theoretic languages
Recommended article: Proof-search in type-theoretic languages: An introduction
Recommended article: Indexed type theories
Recommended article: Q4234332
Recommended article: A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems
Recommended article: Computational higher-dimensional type theory
Recommended article: Q5438967
Recommended article: An Introduction to Search Combinators
Recommended article: Q5687240
description: scientific article; zbMATH DE number 1495209