Infoscience

Conference paper

Reducibility Method in Simply Typed Lambda Calculus

    Note:

    Also in: Novi Sad J. Math. 31 (2001), no. 1, 27--32

    Reference

    • LARA-CONF-2000-001

    Record created on 2007-08-21, modified on 2016-08-08

Fulltext

  • There is no available fulltext. Please contact the lab or the authors.

Related material