A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Deriving Law-Abiding Instances
[article]
2017
arXiv
pre-print
Preserved Fulltext
Law-Abiding Instances We used our approach to derive law-abiding instances of the above type classes for data types of Identity, Maybe, Either, List, and Triple as defined in table 2. ...
Law-Abiding Type Classes We start with an overview of our approach for deriving class instances that are verified to satisfy class laws. ...
instance (VerifiedOrd (f p), VerifiedOrd (g p)) ⇒ VerifiedOrd ((f :*: g) p) where refl = leqProdRefl antisym = leqProdAntisym trans = leqProdTrans total = leqProdTotal A.2 Full VerifiedOrd instance for ...
arXiv:1708.02328v1
fatcat:3fxnrebwsrbu5avzzdgg2ejtnq
Page 326 of The American Journal of International Law Vol. 55, Issue 2
[page]
1961
The American Journal of International Law
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The exemption in such instances is based, not upon fate or the ‘‘laws of nature’’ (‘‘natural law’’) of ‘‘absolute impossibility,’’ but upon another concept of ‘‘natural law’’: either a ‘‘law’’ derived ...
in the light of which it would appear grossly unfair to exact law-abidance from a person acting under such pressures. ...
Page 274 of Journal of Personality Vol. 7, Issue 4
[page]
1939
Journal of Personality
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
to be law-abiding. ...
Instead, the scores derived are merely the scale position on the continuum of law-abidingness at which the subject’s statement concerning his behavior fell. ...
Searle on Institutional Obligation
1972
The Monist
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
For instance, consider the following. Thcre is a rule in Ireland, 'Drive on the Idt hand side of the road'. ...
undertaken to abide, he is forced to go the way of consent theorists in political 5. "How to Derive an 'ought' From 'is'," p. 113. Acts, p. 190. ...
doi:10.5840/monist197256428
fatcat:kh6xzdheyzbsljg3b2vaxrl3pq
Page 509 of Social Studies Review Vol. 27, Issue 8
[page]
1936
Social Studies Review
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Nature was assumed to be strictly law-abiding, and the founders of modern physical science—Galileo, Kepler, Newton—agreed with the teleological theologians at least in this, that they attributed the semblance ...
For after w erved the resemblance in a sufficient number of instances, we immediately
eel a det na f the mind to pass from one object to its usual attendant. . . . The several ...
Page 388 of American Veterinary Medical Association. Journal of the American Veterinary Medical Association Vol. 45, Issue
[page]
1914
American Veterinary Medical Association. Journal of the American Veterinary Medical Association
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
and abide
by it. ...
or prepara- tion thereof, except in the few instances exempted, no matter in what proportion or composition or on what occasion so dispensed. ...
Page 650 of Political Studies Vol. 33, Issue 4
[page]
1985
Political Studies
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Rawls’s distinction between civil and other types of disobedience derives from his general definition of civil disobedience as, ‘disobedience to law within fidelity to law’.* Whilst we can agree, however ...
Our disobedient civil servant, for example, may have a genuine commitment to the preservation of the existing legal and political system evidenced by the generally law-abiding nature of his conduct, so ...
Page 46 of Edinburgh Review: Critical Journal Vol. 199, Issue 407
[page]
1904
Edinburgh Review: Critical Journal
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
link of affinity abides. ...
Instances of such prohibitions can be indefinitely multiplied, and, trivial as they may seem. Folklore has taught us that, though to ...
Page 46 of Edinburgh Review: Critical Journal Vol. 199, Issue 407
[page]
1904
Edinburgh Review: Critical Journal
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
link of affinity abides. ...
Instances of such prohibitions can be indefinitely multiplied, and, trivial as they may seem, Folklore has taught us that, though to ...
Page 530 of The Historical Journal Vol. 25, Issue 3
[page]
1982
The Historical Journal
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Community of property, for instance, was according to natural law in this sense, as was individual liberty. ...
If the king failed to abide by these conditions power would revert to the people. The Catholic theory of resistance is, then, grounded on their account of the origins of government. ...
Page 50 of Harvard Law Review Vol. 33, Issue 1
[page]
1919
Harvard Law Review
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Before the armistice there had been only two instances of actual refusal to abide by the decision of the board. ...
| | j |
50° HARVARD LAW REVIEW
board were steadily increasing, despite its early slowness in getting under way. ...
Page 179 of Harvard Law Review Vol. 5, Issue 4
[page]
1891
Harvard Law Review
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
rights, deriv- ative in their nature and based on its peculiar remedies.! ...
To estimate the importance of these additions, without which our law would be a very different thing from what it is, it is only necessary to consider, as a single instance, the enormous reach of the purely ...
Page 442 of Harvard Law Review Vol. 59, Issue 3
[page]
1946
Harvard Law Review
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
under foot, but also that they deliberately planned to use and did use assurances of adherence to their in- ternational obligations as political soporifics to lull the law-abid- ing nations into a false ...
general terms of the Nazi crimes, without specifically excluding the parent crime of a war of aggression which made possible the numerous murders, rapes, thefts and other derivative crimes; and one at ...
Page 188 of Political Studies Vol. 12, Issue 2
[page]
1964
Political Studies
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The Romans and Spartans were the most law-abiding people in the ancient world, making it inevitable, Harrington insisted, for their soldiers to excel above all others.
... the Heathen Politicians have ...
And where by the lusts or passions of men, a power is set above that of Law deriving from reason which is the dictate of God; God in that sense is rejected or deposed, that He should reign over them as ...
Page 366 of IDSA Journal Vol. 3, Issue 3
[page]
1971
IDSA Journal
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
from theory, and principally so from the universal law of class-struggle. ...
Furthermore, according to another funda- mental law, the law of contradictions the inherent antagonistic class-relationship between socialism and imperialism represents the Universal Contradiction which ...
« Previous
Showing results 1 — 15 out of 48,007 results