Filters








289 Hits in 1.4 sec

On the implementation of construction functions for non-free concrete data types [article]

Frédéric Blanqui, Thérèse Hardin
<span title="2007-01-05">2007</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence classes of some equational theory. For instance, a sorted list is a particular representative wrt commutativity. Theories like associativity, neutral element, idempotence, etc. are also very common. Now, when one wants to combine various invariants, it may be difficult to find the suitable representatives and to efficiently
more &raquo; ... lement the invariants. The preservation of invariants throughout the whole program is even more difficult and error prone. Classically, the programmer solves this problem using a combination of two techniques: the definition of appropriate construction functions for the representatives and the consistent usage of these functions ensured via compiler verifications. The common way of ensuring consistency is to use an abstract data type for the representatives; unfortunately, pattern matching on representatives is lost. A more appealing alternative is to define a concrete data type with private constructors so that both compiler verification and pattern matching on representatives are granted. In this paper, we detail the notion of private data type and study the existence of construction functions. We also describe a prototype, called Moca, that addresses the entire problem of...
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0701031v1">arXiv:cs/0701031v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sbgd6cz46je2xgw5lop2rf75da">fatcat:sbgd6cz46je2xgw5lop2rf75da</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-cs0701031/cs0701031.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> File Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0701031v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Higher Order Unification via Explicit Substitutions

Gilles Dowek, Thérèse Hardin, Claude Kirchner
<span title="">2000</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/joe2ngto45hbnl3pncnesnq344" style="color: black;">Information and Computation</a> </i> &nbsp;
Higher order uni cation is equational uni cation for -conversion. But it is not rst order equational uni cation, as substitution has to avoid capture. Thus the methods for equational uni cation (such as narrowing) built upon grafting (i.e. substitution without renaming), cannot be used for higher order uni cation, which needs speci c algorithms. Our goal in this paper is to reduce higher order uni cation to rst order equational uni cation in a suitable theory. This is achieved by replacing
more &raquo; ... itutionby grafting, but this replacementis not straightforward as it raises two major problems. First, some uni cation problems have solutions with grafting but no solution with substitution. Then equational uni cation algorithms rest upon the fact that grafting and reduction commute. But grafting and -reduction do not commute in -calculus and reducing an equation may change the set of its solutions. This di culty comes from the interaction between the substitutions initiated by -reduction and the ones initiated by the uni cation process. Two kinds of variables are involved: those of -conversion and those of uni cation. So, we need to set up a calculus which distinguishes these two kinds of variables and such that reduction and grafting commute. For this purpose, the application of a substitution of a reduction variable to a uni cation one must be delayed until this variable is instantiated. Such a separation and delay are provided by a calculus of explicit substitutions. Uni cation in such a calculus can be performed by well-known algorithms such as narrowing, but we present a specialised algorithm for greater e ciency. At last we show how to relate uni cation in -calculus and in a calculus with explicit substitutions. Thus we come up with a new higher order uni cation algorithm which eliminates some burdens of the previous algorithms, in particular the functional handling of scopes. Huet's algorithm can be seen as a speci c strategy for our algorithm, since each of its steps can be decomposed into elementary ones, leading to a more atomic description of the uni cation process. Also, solved forms in -calculus can easily be computed from solved forms in -calculus.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1006/inco.1999.2837">doi:10.1006/inco.1999.2837</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/smdrvm24ybfozgesugh2y67qlm">fatcat:smdrvm24ybfozgesugh2y67qlm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190224020119/http://pdfs.semanticscholar.org/5a62/b1bc0db2794285fd18936e497e59b4e12648.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5a/62/5a62b1bc0db2794285fd18936e497e59b4e12648.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1006/inco.1999.2837"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Functional back-ends within the lambda-sigma calculus

Thérèse Hardin, Luc Maranget, Bruno Pagano
<span title="1996-06-15">1996</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/232629.232632">doi:10.1145/232629.232632</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tkylz65qjna7tk5relcfeutdcu">fatcat:tkylz65qjna7tk5relcfeutdcu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180725152659/https://hal.inria.fr/inria-00073659/document" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8b/59/8b593d84638efdb29387a0c4f0313a9875115ae3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/232629.232632"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Development of a Generic Voter under FoCal [chapter]

Philippe Ayrault, Thérèse Hardin, François Pessaux
<span title="">2009</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Safety and security are claimed major concerns by the formal FoCaL development environment. In [7] we introduced a safety development cycle customised to FoCaL. In this paper, we examine how to specify and implement a concrete example following this cycle. We show that indeed it is feasible and we present how FoCaL features fit with software best practises like modularity, reuse, fault confinement and maintenance.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-02949-3_3">doi:10.1007/978-3-642-02949-3_3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/44s6lnbobzg4zkvxsb4r4a6qky">fatcat:44s6lnbobzg4zkvxsb4r4a6qky</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170924180508/https://hal.archives-ouvertes.fr/hal-01241361/document" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/94/77/9477730e4666ea22667e04f66d52f527a399a153.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-02949-3_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Proof of termination of the rewriting system subst on CCL

Thérèse Hardin, Alain Laville
<span title="">1986</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
Curien (1985) defines a translation of the Ac-calculus in the Pure Combinatory Categorical Logic and establishes an equivalence theorem between these two theories. The rewriting system SUBST simulates in particular the substitution of the Xe-calculus. This system is locally confluent. We shall show here that it is also noetherian.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0304-3975(86)90035-6">doi:10.1016/0304-3975(86)90035-6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/63swrohasfam7jzo2b7twwvmme">fatcat:63swrohasfam7jzo2b7twwvmme</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190412143739/https://core.ac.uk/download/pdf/82015404.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9b/fb/9bfb4fe0cd66f237db9c8f018dfcf97880a982f6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0304-3975(86)90035-6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Development Life-cycle of Critical Software Under FoCaL

Philippe Ayrault, Thérèse Hardin, François Pessaux
<span title="">2009</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
Hardin and R. Rioboo [7] with the objective of helping all stages of development of critical software within safety and security framework, at least when formal methods are required or chosen.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2009.07.003">doi:10.1016/j.entcs.2009.07.003</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/74rxa6xrfjcfxfrfsk3s46insi">fatcat:74rxa6xrfjcfxfrfsk3s46insi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190219233801/https://core.ac.uk/download/pdf/82422231.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0a/5a/0a5af7cac7bfce10a72d5f32b148da2eefe246ef.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2009.07.003"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

On the Implementation of Construction Functions for Non-free Concrete Data Types [chapter]

Frédéric Blanqui, Thérèse Hardin, Pierre Weis
<span title="">2007</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-71316-6_8">doi:10.1007/978-3-540-71316-6_8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fcj5mdwlm5f7xjym7lpzvoid5i">fatcat:fcj5mdwlm5f7xjym7lpzvoid5i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120529202118/http://hal.archives-ouvertes.fr/docs/00/09/51/10/PDF/main.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/59/95/5995d7e254c0bf2a7efa3d5d2040b6a8a0345630.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-71316-6_8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

HOL-λσ: an intentional first-order expression of higher-order logic

GILLES DOWEK, THERESE HARDIN, CLAUDE KIRCHNER
<span title="">2001</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jdpukxfslnfmradqb65llq43na" style="color: black;">Mathematical Structures in Computer Science</a> </i> &nbsp;
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0960129500003236">doi:10.1017/s0960129500003236</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gi2gx67wvfhl5c37zazqaagmvq">fatcat:gi2gx67wvfhl5c37zazqaagmvq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200322060502/https://hal.inria.fr/inria-00077202/document" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9b/99/9b99ceb9d287ac9729d93ee0eb2822873cbbb171.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0960129500003236"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> cambridge.org </button> </a>

Confluence results for the pure strong categorical logic CCL. λ-calculi as subsystems of CCL

Thérèse Hardin
<span title="">1989</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
We can conclude with the diagram in 1I Hardin Confluence of (Simp) We define the relation a as an iteration of (Sim/3) based on an innermost strategy: 2.39.  ...  Hardin Now we recall Hindley-Rossen Lemma. 2.55. Proposition. Let R and S be two relations on a set X. If these two relations commute and if they are confluent, then R v S is confluent.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0304-3975(89)90105-9">doi:10.1016/0304-3975(89)90105-9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/skfsyolxrzf5db3vgmrmr7elpe">fatcat:skfsyolxrzf5db3vgmrmr7elpe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190320073003/https://core.ac.uk/download/pdf/82658086.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/70/19/701995a6312d7890db7a1b7e9f7904a690365a82.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0304-3975(89)90105-9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Functional back-ends within the lambda-sigma calculus

Thérèse Hardin, Luc Maranget, Bruno Pagano
<span title="">1996</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ug3n3jfg4jdcpdvbrhe3m4txqa" style="color: black;">Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP &#39;96</a> </i> &nbsp;
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/232627.232632">doi:10.1145/232627.232632</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icfp/HardinMP96.html">dblp:conf/icfp/HardinMP96</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mvn3uolivzg7xipl53npps5vxe">fatcat:mvn3uolivzg7xipl53npps5vxe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180725152659/https://hal.inria.fr/inria-00073659/document" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8b/59/8b593d84638efdb29387a0c4f0313a9875115ae3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/232627.232632"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A Few Remarks about Formal Development of Secure Systems

Éric Jaeger, Thérèse Hardin
<span title="">2008</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/tkpuwbdq2jbvrc3gixguxikkci" style="color: black;">2008 11th IEEE High Assurance Systems Engineering Symposium</a> </i> &nbsp;
Formal methods provide remarkable tools allowing for high levels of confidence in the correctness of developments. Their use is therefore encouraged, when not required, for the development of systems in which safety or security is mandatory. But effectively specifying a secure system or deriving a secure implementation can be tricky. We propose a review of some classical 'gotchas' and other possible sources of concerns with the objective to improve the confidence in formal developments, or at least to better assess the actual confidence level.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hase.2008.49">doi:10.1109/hase.2008.49</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/hase/JaegerH08.html">dblp:conf/hase/JaegerH08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6e4sjvrctnel5an4sp37kkwfsq">fatcat:6e4sjvrctnel5an4sp37kkwfsq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809015855/http://www.ssi.gouv.fr/uploads/IMG/pdf/jaeger-formalsecurity.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/16/36/163679ecaee582a07b65708d1be813e89dd3b9bf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hase.2008.49"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Experience in using a typed functional language for the development of a security application

Damien Doligez, Christèle Faure, Thérèse Hardin, Manuel Maarek
<span title="2014-04-26">2014</span> <i title="Open Publishing Association"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzezkwolyvf33pglm2jldjklca" style="color: black;">Electronic Proceedings in Theoretical Computer Science</a> </i> &nbsp;
In this paper we present our experience in developing a security application using a typed functional language. We describe how the formal grounding of its semantic and compiler have allowed for a trustworthy development and have facilitated the fulfillment of the security specification.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.149.6">doi:10.4204/eptcs.149.6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jkf7lulkpjhlllxcyxssq7sk3i">fatcat:jkf7lulkpjhlllxcyxssq7sk3i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191024034727/https://arxiv.org/pdf/1404.6606v1.pdf" title="fulltext PDF download [not primary version]" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <span style="color: #f43e3e;">&#10033;</span> <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/41/6d/416dbfa25e914ff7c05d1e35fcacc3c9eb133b6b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.149.6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Page 199 of Spirit Vol. 15, Issue 6 [page]

<span title="">1949</span> <i title="Seton Hall University"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_spirit" style="color: black;">Spirit </a> </i> &nbsp;
Thérése, Sor.D.S. COMMUNICATIONS Frater Eric K. Bruno, O.F.M. 94 Sister M. Jerome, O.S.B.M. John Duffy, C.SS.R. 181 Sister Rita Agnes Myra Fellowes 157 Iris Sullivan . Mary Hardin 95 Marion M.  ...  Thérése; by Isabel Harriss Bast Life Is the Flesh: Louise Townsend Nicholl; by Etta May Van Tassel. Masterpieces of Religious Verse: edited by James Dalton Morrison; by George A.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_spirit_1949-01_15_6/page/199" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_spirit_1949-01_15_6/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Page 214 of Illinois Medical Journal Vol. 128, Issue 2 [page]

<span title="">1965</span> <i title="Illinois State Medical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_illinois-medical-journal" style="color: black;">Illinois Medical Journal </a> </i> &nbsp;
Anthony’s Hospital (B-240) ROSICLARE (Hardin) Hardin County General Hospital (B-27) RUSHVILLE (Schuyler) Sarah D. Culbertson Memorial Hospital (F-50) ST.  ...  Therese Hospital (B-280) Victory Memorial Hospital (B-333) WEST FRANKFORT (Franklin) UMWA Union Hospital (B-38) WHITE HALL (Greene) White Hall Hospital, Ine.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_illinois-medical-journal_1965-08_128_2/page/214" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_illinois-medical-journal_1965-08_128_2/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Page 35 of International Pharmaceutical Abstracts Vol. 34, Issue 9 [page]

<span title="1997-05-15">1997</span> <i title="American Society of Health-System"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_international-pharmaceutical-abstracts" style="color: black;">International Pharmaceutical Abstracts </a> </i> &nbsp;
W., Hardin, T. C., Rinaldi, M. G., Lobb, C. J., et al. ANN.  ...  THERESE Gy! 3405752 ZINC FOR THE COMMON COLD Anonymous Meb. Letr.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_international-pharmaceutical-abstracts_1997-05-15_34_9/page/35" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_international-pharmaceutical-abstracts_1997-05-15_34_9/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 289 results