scientific article

zbMATH Open0701.03007MaRDI QIDQ3478384FDOQ3478384

Solomon Feferman

Publication date: 1990

Title of this publication is not available (Why is that?)

zbMATH Keywords

polymorphismuntyped \(\lambda\)-calculusfunctional programming languagesaxiomatic theory of operations and classespolymorphic typed \(\lambda\)-calculus

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40) Semantics in the theory of computing (68Q55)

Cited In (17)

• A first order logic of effects
• Explicit mathematics: power types and overloading
• Polymorphic lambda calculus with context-free session types
• Polymorphic lambda calculus and subtyping.
• TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism
• A theory for program and data type specification
• Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi
• A calculus with polymorphic and polyvariant flow types
• Between constructive mathematics and PROLOG
• Title not available (Why is that?)
• A Polymorphic Type System for the Lambda-Calculus with Constructors
• Herbrand analyses
• Formalizing non-termination of recursive programs
• Theories with self-application and computational complexity.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Programming Languages and Systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3478384)