TY  - RPRT
TI  - A Proposal for an Interactive Shell Based on a Typed Lambda Calculus
AU  - Kouji Matsui
PY  - 2021
UR  - https://arxiv.org/abs/2104.03678
ID  - 2104.03678
ER  -