The Type and Effect discipline. Talpin, J. & Jouvelot, P. Information and Computation, 111(2):245-296, Academic Press, 1994. bibtex @article{TalpinJouvelot94,
author = {J.-P. Talpin and P. Jouvelot},
title = {{The Type and Effect discipline}},
journal = {Information and Computation},
year = 1994,
volume = 111,
number = 2,
pages = {245-296},
publisher = {Academic Press},
ftp = {ftp://cri.ensmp.fr/pub/Papers/Talpin/lics92.ps.Z}
}
Downloads: 0
{"_id":"6einDhRNvgXnPHiSG","bibbaseid":"talpin-jouvelot-thetypeandeffectdiscipline-1994","downloads":0,"creationDate":"2016-02-08T21:26:15.890Z","title":"The Type and Effect discipline","author_short":["Talpin, J.","Jouvelot, P."],"year":1994,"bibtype":"article","biburl":"http://wwwrobot.gmc.ulaval.ca/~sifou11/test.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["J.-P."],"propositions":[],"lastnames":["Talpin"],"suffixes":[]},{"firstnames":["P."],"propositions":[],"lastnames":["Jouvelot"],"suffixes":[]}],"title":"The Type and Effect discipline","journal":"Information and Computation","year":"1994","volume":"111","number":"2","pages":"245-296","publisher":"Academic Press","ftp":"ftp://cri.ensmp.fr/pub/Papers/Talpin/lics92.ps.Z","bibtex":"@article{TalpinJouvelot94,\r\n author = {J.-P. Talpin and P. Jouvelot},\r\n title = {{The Type and Effect discipline}},\r\n journal = {Information and Computation},\r\n year = 1994,\r\n volume = 111,\r\n number = 2,\r\n pages = {245-296},\r\n publisher = {Academic Press},\r\n ftp = {ftp://cri.ensmp.fr/pub/Papers/Talpin/lics92.ps.Z}\r\n}\r\n\r\n","author_short":["Talpin, J.","Jouvelot, P."],"key":"TalpinJouvelot94","id":"TalpinJouvelot94","bibbaseid":"talpin-jouvelot-thetypeandeffectdiscipline-1994","role":"author","urls":{},"downloads":0},"search_terms":["type","effect","discipline","talpin","jouvelot"],"keywords":[],"authorIDs":[],"dataSources":["sXvnoL4HXbgjkkbej"]}