@Inproceedings{EPTCS207.1,
author = {Matsuoka, Satoshi},
year = {2016},
title = {Strong Typed B\"ohm Theorem and Functional Completeness on the Linear Lambda Calculus},
editor = {Atkey, Robert and Krishnaswami, Neelakantan},
booktitle = {{\rm Proceedings 6th Workshop on}
Mathematically Structured Functional Programming,
{\rm Eindhoven, Netherlands, 8th April 2016}},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {207},
publisher = {Open Publishing Association},
pages = {1-22},
doi = {10.4204/EPTCS.207.1},
}