%0 Journal Article %1 journals/iandc/HermidaJ98 %A Hermida, Claudio %A Jacobs, Bart %D 1998 %J Inf. Comput. %K dblp %N 2 %P 107-152 %T Structural Induction and Coinduction in a Fibrational Setting. %U http://dblp.uni-trier.de/db/journals/iandc/iandc145.html#HermidaJ98 %V 145

@article{journals/iandc/HermidaJ98, added-at = {2021-02-12T00:00:00.000+0100}, author = {Hermida, Claudio and Jacobs, Bart}, biburl = {https://www.bibsonomy.org/bibtex/26ec4d84b6d45cd4956846a087dad5e7f/dblp}, ee = {https://doi.org/10.1006/inco.1998.2725}, interhash = {a05ccd01cb06240530a7e69bd85b328f}, intrahash = {6ec4d84b6d45cd4956846a087dad5e7f}, journal = {Inf. Comput.}, keywords = {dblp}, number = 2, pages = {107-152}, timestamp = {2024-04-09T06:11:45.000+0200}, title = {Structural Induction and Coinduction in a Fibrational Setting.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc145.html#HermidaJ98}, volume = 145, year = 1998 }