@article{MAKHILLJEAS2018131916890,
    title = {Locally-Named versus Nominal},
    journal = {Journal of Engineering and Applied Sciences},
    volume = {13},
    number = {19},
    pages = {7878-7883},
    year = {2018},
    issn = {1816-949x},
    doi = {jeasci.2018.7878.7883},
    url = {https://makhillpublications.co/view-article.php?issn=1816-949x&doi=jeasci.2018.7878.7883},
    author = {Gyesik and},
    keywords = {dependent families,proof assistants,variable binding,Mechanical formalization,parameters,experiments},
    abstract = {The main characteristic of our representation is the use of dependent families in defining expressions
such as terms and formulas. Another point is that we do not consider parameters and show that we can do the
same thing as when parameters are involved. In order to confirm the feasibility of our idea we made several
experiments using the proof assistant Coq.}
    }