Results 261 to 270 of about 5,380,639 (293)

Constructive category theory (No. 1)

1981
In this paper, a notion of effective categories and effective functions is presented as an attempt to handle effective properties of categories with effectiveness constraint. Using this notion, we study a categorical generalization of the Kleene 1st recursion theorem, as the effectively initial algebra theorem.
openaire   +2 more sources

Conceptual study on constructal theory

Energy Conversion and Management, 2004
Lotfollah Ghodoossi
exaly  

Constructive Type Theory, An Appetizer

Abstract Recent debates in metaphysics have highlighted the significance of type theories, such as Simple Type Theory (STT), for our philosophical analysis. In this chapter, I present the salient features of a constructive type theory in the style of Martin-Löf, termed CTT. My principal aim is to convey the flavour of this rich, flexible
openaire   +2 more sources

Economic optimization of shell and tube heat exchanger based on constructal theory

Energy, 2011
Majid Amidpour
exaly  

Progress in study on constructal theory and its applications

Science China Technological Sciences, 2012
Lingen Chen
exaly  

Progress of constructal theory in China over the past decade

International Journal of Heat and Mass Transfer, 2019
Lingen Chen, Zhihui Xie, Feng Huijun
exaly  

A critical review of constructal theory

Energy Conversion and Management, 2008
Lütfullah Kuddusi
exaly  

On the “area to point” flow problem based on constructal theory

Energy Conversion and Management, 2007
Lingen Chen, Fengrui Sun
exaly  

Principle Theory or Constructive Theory?

SSRN Electronic Journal, 2022
openaire   +1 more source

Optimal design of dual-pressure turbine in OTEC system based on constructal theory

Energy Conversion and Management, 2019
Lingen Chen, Shaojun Xia, Feng Huijun
exaly