2002
DOI: 10.1007/3-540-45442-x_4
|View full text |Cite
|
Sign up to set email alerts
|

Logical Relations and Galois Connections

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1

Citation Types

0
3
0

Year Published

2004
2004
2018
2018

Publication Types

Select...
3
2

Relationship

0
5

Authors

Journals

citations
Cited by 5 publications
(3 citation statements)
references
References 7 publications
0
3
0
Order By: Relevance
“…Christian economic thought, whose philosophical roots lay in Judaism, praised work but criticised trade, material desire, and, above all, usury. 57 Set within the context of feudalism, which revolved around war and piety, the honourable method of acquiring wealth in Europe remained the acquisition of land through valour in war, rather than commercial enterprise. Ministers in both the church and the state warned against the excessive desire for material wealth and promoted a life of austerity and privation (although not necessarily for themselves).…”
Section: The Rise Of Guilds In the Middle Ages And Their Role In The mentioning
confidence: 99%
“…Christian economic thought, whose philosophical roots lay in Judaism, praised work but criticised trade, material desire, and, above all, usury. 57 Set within the context of feudalism, which revolved around war and piety, the honourable method of acquiring wealth in Europe remained the acquisition of land through valour in war, rather than commercial enterprise. Ministers in both the church and the state warned against the excessive desire for material wealth and promoted a life of austerity and privation (although not necessarily for themselves).…”
Section: The Rise Of Guilds In the Middle Ages And Their Role In The mentioning
confidence: 99%
“…This was further extended by (the late) Dijkstra at Eindhoven University of Technology in a series of papers and books, most notably is his 1976 book (Dijkstra, 1976), where he showed how a program could be developed alongside the proof that the program met a specification. This research theme was taken up by his fellow colleagues at Eindhoven and lead to books by Gries (1981) and Backhouse (1986), among others. The book under review is a complete rewrite by Backhouse of his 1986 book.…”
Section: Peter Hancockmentioning
confidence: 99%
“…This was further extended by (the late) Dijkstra at Eindhoven University of Technology in a series of papers and books, most notably is his 1976 book (Dijkstra, 1976), where he showed how a program could be developed alongside the proof that the program met a specification. This research theme was taken up by his fellow colleagues at Eindhoven and lead to books by Gries (1981) and Backhouse (1986), among others. The book under review is a complete rewrite by Backhouse of his 1986 book.…”
Section: Peter Hancockmentioning
confidence: 99%