%0 Journal Article %1 journals/logcom/Marti-OlietM96a %A Martí-Oliet, Narciso %A Meseguer, José %D 1996 %J J. Log. Comput. %K dblp %N 4 %P 541-572 %T Inclusions and Subtypes II: Higher-Order Case. %U http://dblp.uni-trier.de/db/journals/logcom/logcom6.html#Marti-OlietM96a %V 6

@article{journals/logcom/Marti-OlietM96a, added-at = {2023-09-21T00:00:00.000+0200}, author = {Martí-Oliet, Narciso and Meseguer, José}, biburl = {https://www.bibsonomy.org/bibtex/25caee70a6d993d2c403ab43d221cbcd2/dblp}, ee = {https://doi.org/10.1093/logcom/6.4.541}, interhash = {afbc81bb47977f1805e510174f47eda8}, intrahash = {5caee70a6d993d2c403ab43d221cbcd2}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 4, pages = {541-572}, timestamp = {2024-04-09T05:12:41.000+0200}, title = {Inclusions and Subtypes II: Higher-Order Case.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom6.html#Marti-OlietM96a}, volume = 6, year = 1996 }