Syntax and Semantics in Higher-Type Recursion Theory

Transactions of the American Mathematical Society - United States
doi 10.1090/s0002-9947-1983-0684494-7
Full Text
Abstract

Available in full text

Date
Authors
Publisher

American Mathematical Society (AMS)

Related search

Syntax and Semantics in Higher-Type Recursion Theory

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1983English

Semantics Boosts Syntax in Artificial Grammar Learning Tasks With Recursion.

Journal of Experimental Psychology: Learning Memory and Cognition
LinguisticsLanguageExperimentalCognitive Psychology
2012English

Primitive Recursion for Higher-Order Abstract Syntax

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

1-Generic Degrees and Minimal Degrees in Higher Recursion Theory

Japanese Journal of Mathematics
Mathematics
1987English

Computational Semantics in Type Theory

Mathématiques et sciences humaines
2004English

Recursion on Nested Datatypes in Dependent Type Theory

English

Current Issues in Spanish Syntax and Semantics

2001English

Syntax, Semantics, and Pragmatics of Contexts

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1995English

Federating Queries in SPARQL1.1: Syntax, Semantics and Evaluation

SSRN Electronic Journal
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy