Login / Signup

A Simplified Application of Howard's Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems.

Mitsuhiro OkadaYuta Takahashi
Published in: WRLA@ETAPS (2020)
Keyphrases
  • lambda calculus
  • programming language
  • management system
  • higher order
  • query language
  • distributed systems