Developing (Meta)Theory of lambda-calculus in the Theory of Contexts

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE

http://hdl.handle.net/11390/745476

info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-19144367233

open access