Satoshi Matsuoka

Research Scientist

Address

National Metrology Institute of Japan
AIST
1-1-1 Umezono
Tsukuba, Ibaraki
305-8565Japan

E-mail

matsuoka 'at' ni.aist.go.jp

Telephone

+81-29-861-4106

 

Some publications

Satoshi Matsuoka. Weak typed Böhm theorem on IMLL (doi:10.1016/j.apal.2006.06.001) (preprint)

 

Satoshi Matsuoka. A Coding Theoretic Study on MLL proof nets (doi:10.1017/S0960129511000582)(preprint)

 

Satoshi Matsuoka. A New Proof of P-time Completeness of Linear Lambda Calculus (link)

 

Satoshi Matsuoka. Strong Typed Böhm Theorem and Functional Completeness on the Linear Lambda Calculus (doi:10.4204/EPTCS.207.1)

 

Software

 

ProofNetCalculator