"Lambda Calculus Characterizations of Poly-Time."

Daniel Leivant, Jean-Yves Marion (1993)

Details and statistics

DOI:

access: unavailable

type: Journal Article

metadata version: 2020-09-18