Buğra Kılıçtaş

1. Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory
   2025/07/25 by Faruk Alpay, Alpay, Faruk, Buğra Kılıçtaş +4 · 1 voice
   Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.AI #cs.LO
2. Idempotent Equilibrium Analysis of Hybrid Workflow Allocation: A Mathematical Schema for Future Work
   2025/08/02 by Faruk Alpay, Bugra Kilictas, Alpay, Faruk +6 · 1 voice
   Computer Science · Decision Sciences · Economics, Econometrics and Finance · Engineering · Social Sciences · #06B10 #47H10 #68T20 #91B40 #91B55 #Artificial Intelligence (cs.AI) #Computers and Society (cs.CY) #Digital Transformation in Industry #Ethics and Social Impacts of AI #F.4.1 #FOS: Computer and information sciences #FOS: Economics and business #General Economics (econ.GN) #I.2.0 #I.2.11 #Scientific Computing and Data Management #cs.AI #cs.CY #econ.GN
3. Alpay Algebra V: Multi-Layered Semantic Games and Transfinite Fixed-Point Simulation
   2025/07/10 by Buğra Kılıçtaş, Kilictas, Bugra, Faruk Alpay +1 · 4 citations
   Computer Science · #Constraint Satisfaction and Optimization #Logic, programming, and type systems #Computability, Logic, AI Algorithms